/home/correa/workspace/pargo-instances/clique/dimacs/C250.9.clq
Found incumbent of value 0.000000 after 0.00 sec. (0.03 ticks)
Tried aggregator 1 time.
MIP Presolve eliminated 0 rows and 1 columns.
Reduced MIP has 1759 rows, 2009 columns, and 6036 nonzeros.
Reduced MIP has 250 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.01 sec. (2.62 ticks)
Probing time = 0.00 sec. (1.09 ticks)
Tried aggregator 1 time.
Presolve time = 0.01 sec. (2.67 ticks)
Probing time = 0.00 sec. (1.09 ticks)
Clique table members: 1760.
MIP emphasis: balance optimality and feasibility.
MIP search method: traditional branch-and-cut.
Parallel mode: none, using 1 thread.
Root relaxation solution time = 0.15 sec. (132.08 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap         Variable B NodeID Parent  Depth

*     0+    0                            0.0000      250.0000     1523     --- 
      0     0       77.6358   249        0.0000       77.6358     1523     --- 
*     0+    0                           40.0000       77.6358     1523   94.09%
      0     0       72.9229   251       40.0000     Cuts: 479     2366   82.31%
      0     0       72.4375   249       40.0000      Cuts: 91     2694   81.09%
      0     0       72.0850   251       40.0000     Cuts: 120     2906   80.21%
      0     0       71.8818   250       40.0000      Cuts: 97     3096   79.70%
      0     0       71.7210   247       40.0000      Cuts: 71     3224   79.30%
      0     0       71.5931   249       40.0000      Cuts: 83     3352   78.98%
*     0+    0                           41.0000       71.5931     3352   74.62%
      0     0       71.4928   249       41.0000     Cuts: 175     3473   74.37%
      0     0       71.4038   251       41.0000      Cuts: 47     3549   74.16%
      0     0       71.3118   249       41.0000      Cuts: 76     3646   73.93%
      0     0       71.2808   251       41.0000      Cuts: 41     3713   73.86%
      0     0       71.2607   251       41.0000      Cuts: 30     3761   73.81%
      0     0       71.2501   251       41.0000      Cuts: 28     3794   73.78%
      0     0       71.2459   251       41.0000      Cuts: 13     3817   73.77%
      0     0       71.2378   250       41.0000      Cuts: 15     3839   73.75%
      0     2       71.2378   250       41.0000  Local Cut: 1     3839   73.75%                        0             0
Elapsed time = 3.57 sec. (3726.61 ticks, tree = 0.00 MB, solutions = 3)
      2     4       71.0204   248       41.0000       71.2378     4155   73.75%             x85 D      2      1      2
      4     6       70.6825   245       41.0000       71.2378     4568   73.75%             x22 D      4      3      4
      8    10       69.9868   241       41.0000       71.2378     5419   73.75%             x41 D      8      7      8
     12    14       69.3379   234       41.0000       71.2378     5987   73.75%            x130 D     12     11     12
     16    18       68.8008   232       41.0000       71.2378     6576   73.75%            x116 D     16     15     16
     20    22       68.2094   227       41.0000       71.2378     7128   73.75%            x146 D     20     19     20
     24    26       67.6287   227       41.0000       71.2378     7607   73.75%            x119 D     24     23     24
     28    30       66.8025   221       41.0000       71.2378     8187   73.75%             x50 D     28     27     28
*    30+   30                           43.0000       71.2378     8442   65.67%
     32    34       65.9780   217       43.0000       71.2378     8712   65.67%             x51 D     32     31     32
     48    50       63.0617   202       43.0000       71.2378    10408   65.67%             x37 D     48     47     48
Elapsed time = 6.31 sec. (7520.49 ticks, tree = 0.19 MB, solutions = 4)
     58    60       60.9464   192       43.0000       71.2378    11567   65.67%            x217 D     58     57     58
     74    76       57.2288   174       43.0000       71.2378    13052   65.67%             x76 D     74     73     74
     90    92       53.8733   156       43.0000       71.2378    14548   65.67%             x31 D     90     89     90
    104   106       50.6590   140       43.0000       71.2378    15789   65.67%            x104 D    104    103    104
    118   120       47.8182   113       43.0000       71.2378    16971   65.67%              x2 D    118    117    118
    130   132       44.8333   101       43.0000       71.2378    18174   65.67%              x5 D    130    129    130
    142   140       65.8524   213       43.0000       71.1580    20256   65.48%            x240 D    142    141      6
    158   156       62.9995   197       43.0000       71.1580    22255   65.48%            x202 D    158    157     22
    169   167       60.8165   182       43.0000       71.1580    23642   65.48%            x248 D    169    168     33
    184   182       58.3824   169       43.0000       71.1580    25078   65.48%             x14 D    184    183     48
Elapsed time = 13.19 sec. (17614.29 ticks, tree = 0.44 MB, solutions = 4)
    200   198       55.3750   142       43.0000       71.1580    26499   65.48%            x120 D    200    199     64
    216   214       52.0000   112       43.0000       71.1580    27550   65.48%            x162 D    216    215     80
    230   228       48.1667   115       43.0000       71.1580    28535   65.48%             x64 D    230    229     94
    247   241       68.4173   225       43.0000       71.0204    29875   65.16%             x85 U    247      1      2
    262   256       65.7437   214       43.0000       71.0204    31881   65.16%             x34 D    262    261     17
    278   272       62.6877   194       43.0000       71.0204    33862   65.16%            x152 D    278    277     33
    294   288       59.1327   179       43.0000       71.0204    35766   65.16%             x18 D    294    293     49
    310   304       55.5610   158       43.0000       71.0204    37387   65.16%            x169 D    310    309     65
    326   320       51.7476   144       43.0000       71.0204    38646   65.16%             x65 D    326    325     81
    342   336       48.4395   134       43.0000       71.0204    39693   65.16%            x228 D    342    341     97
Elapsed time = 19.79 sec. (28138.80 ticks, tree = 0.72 MB, solutions = 4)
    360   350       67.1507   220       43.0000       70.8784    41416   64.83%            x153 U    360      2      3
    375   365       63.9467   205       43.0000       70.8784    43745   64.83%            x134 D    375    374     18
    388   378       61.0438   188       43.0000       70.8784    45397   64.83%            x184 D    388    387     31
    402   392       57.8015   177       43.0000       70.8784    47021   64.83%             x22 D    402    401     45
    418   408       54.2332   155       43.0000       70.8784    48732   64.83%             x92 D    418    417     61
    434   424       50.8952   138       43.0000       70.8784    50064   64.83%              x0 D    434    433     77
    450   440       48.4118   126       43.0000       70.8784    50920   64.83%             x98 D    450    449     93
    468   454       67.1982   222       43.0000       70.6825    52540   64.38%             x22 U    468      3      4
    482   468       64.6129   209       43.0000       70.6825    54333   64.38%            x212 D    482    481     18
    498   484       61.2653   191       43.0000       70.6825    56517   64.38%            x187 D    498    497     34
Elapsed time = 26.61 sec. (38518.69 ticks, tree = 0.98 MB, solutions = 4)
    514   500       58.2600   179       43.0000       70.6825    58050   64.38%             x19 D    514    513     50
    530   516       55.3959   158       43.0000       70.6825    59498   64.38%             x71 D    530    529     66
    546   532       52.4881   139       43.0000       70.6825    61068   64.38%            x148 D    546    545     82
    560   546       50.0000    98       43.0000       70.6825    62073   64.38%             x26 D    560    559     96
    574   560       45.7692   115       43.0000       70.6825    62796   64.38%             x88 D    574    573    110
    590   572       65.0972   209       43.0000       70.4430    65014   63.82%            x114 D    590    589     13
    602   584       62.5249   195       43.0000       70.4430    66368   63.82%            x244 D    602    601     25
    618   600       59.9851   180       43.0000       70.4430    67905   63.82%             x81 D    618    617     41
    634   616       57.1720   164       43.0000       70.4430    69517   63.82%            x105 D    634    633     57
    650   632       54.6136   142       43.0000       70.4430    70904   63.82%            x147 D    650    649     73
Elapsed time = 33.07 sec. (48587.76 ticks, tree = 1.23 MB, solutions = 4)
    666   648       51.5645   131       43.0000       70.4430    72060   63.82%            x188 D    666    665     89
    682   664       47.5000    93       43.0000       70.4430    72914   63.82%             x18 D    682    681    105
    698   676       66.3763   214       43.0000       70.3014    74606   63.49%            x210 D    698    697      9
    714   692       63.6568   202       43.0000       70.3014    76804   63.49%            x179 D    714    713     25
    730   708       60.5987   184       43.0000       70.3014    78680   63.49%             x96 D    730    729     41
    746   724       57.3691   165       43.0000       70.3014    80289   63.49%            x174 D    746    745     57
*   754+  718                           44.0000       70.3014    81023   59.78%
    762   728       53.9577   152       44.0000       70.3014    81820   59.78%            x218 D    762    761     73
    778   744       50.0875   134       44.0000       70.3014    82901   59.78%            x190 D    778    777     89
    792   758       46.5000    94       44.0000       70.3014    83588   59.78%             x43 D    792    791    103
    808   768       64.7503   208       44.0000       70.1103    85476   59.34%            x101 D    808    807     12
Elapsed time = 39.51 sec. (58925.59 ticks, tree = 1.49 MB, solutions = 5)
    824   784       61.4865   193       44.0000       70.1103    87552   59.34%            x174 D    824    823     28
    840   800       58.1944   173       44.0000       70.1103    89251   59.34%             x80 D    840    839     44
    856   816       54.8979   161       44.0000       70.1103    90607   59.34%            x206 D    856    855     60
    872   832       52.3750   142       44.0000       70.1103    91722   59.34%            x131 D    872    871     76
    888   848       49.2000   122       44.0000       70.1103    92694   59.34%            x147 D    888    887     92
    904   864       45.6613   110       44.0000       70.1103    93391   59.34%            x223 D    904    903    108
    920   876       64.5472   207       44.0000       69.9868    95509   59.06%            x178 D    920    919     18
    936   892       61.6696   190       44.0000       69.9868    97329   59.06%             x34 D    936    935     34
    952   908       58.6977   173       44.0000       69.9868    98857   59.06%             x89 D    952    951     50
    966   922       55.6728   158       44.0000       69.9868   100198   59.06%             x91 D    966    965     64
Elapsed time = 46.07 sec. (69156.00 ticks, tree = 1.74 MB, solutions = 5)
    982   938       51.7097   142       44.0000       69.9868   101611   59.06%             x18 D    982    981     80
    998   954       47.6836   126       44.0000       69.9868   102877   59.06%            x171 D    998    997     96
   1014   966       66.8915   218       44.0000       69.8187   104831   58.68%            x170 D   1014   1013     14
   1030   982       63.7606   204       44.0000       69.8187   106727   58.68%            x116 D   1030   1029     30
   1046   998       60.6480   188       44.0000       69.8187   108497   58.68%            x175 D   1046   1045     46
   1062  1014       57.7036   171       44.0000       69.8187   110065   58.68%             x62 D   1062   1061     62
   1078  1030       54.4939   152       44.0000       69.8187   111511   58.68%            x234 D   1078   1077     78
   1092  1044       51.0000   118       44.0000       69.8187   112790   58.68%             x40 D   1092   1091     92
   1109  1057        cutoff             44.0000       69.8187   113829   58.68%             x43 D   1109   1108    108
   1124  1070       63.0149   202       44.0000       69.5896   116518   58.16%            x158 D   1124   1123     23
Elapsed time = 52.39 sec. (79202.97 ticks, tree = 2.04 MB, solutions = 5)
   1140  1086       59.9269   184       44.0000       69.5896   118222   58.16%            x192 D   1140   1139     39
   1156  1102       56.9074   169       44.0000       69.5896   119855   58.16%            x138 D   1156   1155     55
   1172  1118       54.1880   155       44.0000       69.5896   121157   58.16%             x34 D   1172   1171     71
   1188  1134       50.7347   133       44.0000       69.5896   122362   58.16%            x140 D   1188   1187     87
   1202  1148       46.7500    93       44.0000       69.5896   123261   58.16%             x18 D   1202   1201    101
   1218  1160       64.8098   205       44.0000       69.4484   124956   57.84%            x101 D   1218   1217     16
   1234  1176       61.5377   188       44.0000       69.4484   126827   57.84%             x34 D   1234   1233     32
   1250  1192       58.2825   168       44.0000       69.4484   128486   57.84%            x162 D   1250   1249     48
   1266  1208       55.4954   156       44.0000       69.4484   129970   57.84%              x1 D   1266   1265     64
   1282  1224       52.0322   139       44.0000       69.4484   131660   57.84%            x228 D   1282   1281     80
Elapsed time = 58.74 sec. (89433.69 ticks, tree = 2.31 MB, solutions = 5)
   1298  1240       48.7500   101       44.0000       69.4484   132434   57.84%            x141 D   1298   1297     96
   1314  1252       66.4028   213       44.0000       69.3379   133746   57.59%             x56 D   1314   1313     13
   1330  1268       63.1170   202       44.0000       69.3379   135649   57.59%            x150 D   1330   1329     29
   1346  1284       60.0928   183       44.0000       69.3379   137533   57.59%            x175 D   1346   1345     45
   1362  1300       56.9759   169       44.0000       69.3379   139284   57.59%            x121 D   1362   1361     61
   1378  1316       54.3752   154       44.0000       69.3379   140597   57.59%            x161 D   1378   1377     77
   1394  1332       50.9250   132       44.0000       69.3379   141797   57.59%            x249 D   1394   1393     93
   1410  1348       47.1905   117       44.0000       69.3379   142567   57.59%            x111 D   1410   1409    109
   1428  1362       65.3832   213       44.0000       69.3226   144276   57.55%            x217 D   1428   1427     18
   1486  1420       52.6775   153       44.0000       69.3226   150775   57.55%             x31 D   1486   1485     76
Elapsed time = 66.90 sec. (102547.90 ticks, tree = 2.68 MB, solutions = 5)
   1548  1478       60.3360   181       44.0000       69.1142   156985   57.08%            x188 D   1548   1547     38
   1609  1539       48.2708   120       44.0000       69.1142   161943   57.08%            x213 D   1609   1608     99
   1668  1594       56.6039   167       44.0000       68.8974   168781   56.58%             x27 D   1668   1667     60
   1728  1650       65.0142   206       44.0000       68.8008   173876   56.37%            x162 D   1728   1727     19
   1787  1709       54.0000   106       44.0000       68.8008   179981   56.37%            x211 D   1787   1786     78
   1846  1764       59.4974   174       44.0000       68.5885   185128   55.88%             x24 D   1846   1845     36
   1906  1824       46.0424   118       44.0000       68.5885   190050   55.88%             x82 D   1906   1905     96
   1967  1881       54.3957   155       44.0000       68.4888   197063   55.66%            x201 D   1967   1966     72
   2024  1934       61.2091   191       44.0000       68.4173   201871   55.49%            x212 D   2024   2023     30
   2084  1994       48.5882   123       44.0000       68.4173   206980   55.49%              x3 D   2084   2083     90
Elapsed time = 90.79 sec. (141111.28 ticks, tree = 3.70 MB, solutions = 5)
   2144  2050       56.3897   158       44.0000       68.2780   213264   55.18%            x118 D   2144   2143     45
   2206  2108       61.5576   186       44.0000       68.2735   218689   55.17%             x46 D   2206   2205     15
   2267  2169       47.7778   120       44.0000       68.2735   224442   55.17%            x219 D   2267   2266     76
   2326  2224       56.1491   164       44.0000       68.2094   230322   55.02%            x108 D   2326   2325     67
   2386  2280       63.3133   199       44.0000       68.0858   235258   54.74%            x167 D   2386   2385     28
   2446  2340       49.9430   139       44.0000       68.0858   241318   54.74%             x73 D   2446   2445     88
   2506  2396       56.4876   157       44.0000       68.0696   247410   54.70%            x189 D   2506   2505     44
   2566  2452       62.2861   193       44.0000       67.9495   252470   54.43%             x74 D   2566   2565     34
   2626  2512       49.7691   134       44.0000       67.9495   258626   54.43%             x18 D   2626   2625     94
   2686  2568       57.7626   165       44.0000       67.8850   264246   54.28%            x162 D   2686   2685     44
Elapsed time = 114.64 sec. (179441.75 ticks, tree = 4.75 MB, solutions = 5)
   2750  2626       62.9858   198       44.0000       67.8727   269129   54.26%            x134 D   2750   2749     28
   2810  2686       49.7917   134       44.0000       67.8727   274941   54.26%             x37 D   2810   2809     88
   2870  2742       56.9639   161       44.0000       67.7927   280742   54.07%            x193 D   2870   2869     48
   2934  2800       64.8557   203       44.0000       67.7259   284918   53.92%             x67 D   2934   2933     12
   2996  2862       52.0903   136       44.0000       67.7259   290880   53.92%            x123 D   2996   2995     74
   3056  2918       57.6605   172       44.0000       67.6639   296515   53.78%            x201 D   3056   3055     55
   3116  2978       45.0000    99       44.0000       67.6639   300669   53.78%             x64 D   3116   3115    115
   3178  3036       51.3704   135       44.0000       67.6287   306799   53.70%            x164 D   3178   3177     70
   3242  3094       57.5271   165       44.0000       67.5371   311925   53.49%             x39 D   3242   3241     57
   3302  3150       65.3384   205       44.0000       67.4586   316055   53.32%            x211 U   3302    252      8
Elapsed time = 138.48 sec. (218292.37 ticks, tree = 5.83 MB, solutions = 5)
   3362  3210       52.7938   142       44.0000       67.4586   322467   53.32%             x56 D   3362   3361     68
   3422  3266       59.3584   170       44.0000       67.4484   327862   53.29%            x130 D   3422   3421     38
   3482  3326       45.7500    89       44.0000       67.4484   332028   53.29%            x139 D   3482   3481     98
   3542  3382       52.7500   122       44.0000       67.3966   338703   53.17%            x168 D   3542   3541     80
   3602  3438       58.2917   170       44.0000       67.3523   344354   53.07%            x132 D   3602   3601     36
   3662  3494       63.2083   194       44.0000       67.2513   348970   52.84%             x14 U   3662   1012     13
   3722  3554       49.6667   121       44.0000       67.2513   354033   52.84%            x235 D   3722   3721     73
   3784  3612       54.7377   151       44.0000       67.2210   359811   52.78%             x80 D   3784   3783     69
   3846  3670       58.1439   169       44.0000       67.1982   364872   52.72%             x68 D   3846   3845     31
   3906  3730       46.4000    99       44.0000       67.1982   369290   52.72%             x20 D   3906   3905     91
Elapsed time = 162.29 sec. (257044.65 ticks, tree = 6.88 MB, solutions = 5)
   3968  3788       52.8673   143       44.0000       67.1578   375264   52.63%            x151 D   3968   3967     60
   4028  3844       56.7839   164       44.0000       67.1507   380649   52.62%            x174 D   4028   4027     37
   4090  3902       60.8779   179       44.0000       67.1181   386271   52.54%             x96 D   4090   4089     16
   4151  3963       48.0714   113       44.0000       67.1181   390678   52.54%            x154 D   4151   4150     77
   4210  4018       54.0616   153       44.0000       67.0715   396630   52.44%            x163 D   4210   4209     57
   4273  4077       57.7902   174       44.0000       66.9903   402564   52.25%             x87 D   4273   4272     53
   4334  4134       61.4304   186       44.0000       66.9392   408143   52.13%             x68 D   4334   4333     11
   4396  4196       47.1880   122       44.0000       66.9392   413621   52.13%            x244 D   4396   4395     73
   4456  4252       51.5887   143       44.0000       66.9156   419265   52.08%            x194 D   4456   4455     61
   4518  4310       56.7543   164       44.0000       66.8915   425163   52.03%             x28 D   4518   4517     39
Elapsed time = 186.49 sec. (295849.65 ticks, tree = 7.99 MB, solutions = 5)
   4578  4366       63.8534   198       44.0000       66.8651   429331   51.97%            x202 U   4578   1014     15
   4639  4427       51.5926   128       44.0000       66.8651   434412   51.97%            x167 D   4639   4638     76
   4700  4482       57.0264   164       44.0000       66.8644   439051   51.96%            x182 D   4700   4699     41
   4762  4540       60.6180   185       44.0000       66.8025   444142   51.82%             x11 D   4762   4761     18
   4822  4600       46.5130   121       44.0000       66.8025   448991   51.82%             x93 D   4822   4821     78
   4882  4656       51.3968   144       44.0000       66.7386   455095   51.68%             x98 D   4882   4881     81
   4944  4714       57.2780   167       44.0000       66.6977   460336   51.59%            x115 D   4944   4943     35
   5004  4770       63.2219   196       44.0000       66.6683   464846   51.52%            x240 D   5004   5003      9
   5066  4832       50.4779   137       44.0000       66.6683   470544   51.52%             x18 D   5066   5065     71
   5126  4888       59.2165   163       44.0000       66.6660   476019   51.51%            x200 D   5126   5125     50
Elapsed time = 210.10 sec. (334525.90 ticks, tree = 9.01 MB, solutions = 5)
   5182  4944       45.5000    87       44.0000       66.6660   479968   51.51%             x33 D   5182   5181    106
   5243  5001       51.5649   138       44.0000       66.6629   485726   51.51%            x160 D   5243   5242     59
   5300  5054       58.6385   172       44.0000       66.6425   491003   51.46%            x131 D   5300   5299     40
   5360  5114       45.2500    95       44.0000       66.6425   495141   51.46%            x227 D   5360   5359    100
   5422  5172       50.8730   138       44.0000       66.6004   501615   51.36%            x184 D   5422   5421     67
   5484  5230       57.2037   161       44.0000       66.5791   506658   51.32%             x47 D   5484   5483     44
   5545  5287       63.2944   195       44.0000       66.5553   511492   51.26%             x61 D   5545   5544     11
   5603  5345       52.1429   131       44.0000       66.5553   516836   51.26%              x8 D   5603   5602     69
   5662  5400       57.5201   170       44.0000       66.5454   521959   51.24%              x8 D   5662   5661     58
   5724  5458       62.5253   189       44.0000       66.5454   527028   51.24%            x249 D   5724   5723     15
Elapsed time = 233.69 sec. (373035.73 ticks, tree = 10.04 MB, solutions = 5)
   5784  5518       49.5000    96       44.0000       66.5454   532494   51.24%             x59 D   5784   5783     75
   5844  5574       55.5736   156       44.0000       66.5207   538491   51.18%            x235 D   5844   5843     50
   5900  5626       62.4340   192       44.0000       66.5197   544557   51.18%            x210 D   5900   5899     14
   5962  5688       49.0421   126       44.0000       66.5197   549936   51.18%            x221 D   5962   5961     76
   6024  5746       54.7758   155       44.0000       66.5168   555605   51.17%            x223 D   6024   6023     45
   6084  5802       62.5354   191       44.0000       66.5148   560596   51.17%            x189 D   6084   6083     30
   6146  5864       48.5185   124       44.0000       66.5148   566008   51.17%              x0 D   6146   6145     92
   6208  5922       53.5922   142       44.0000       66.4641   572168   51.05%             x71 D   6208   6207     64
   6266  5976       59.2829   168       44.0000       66.4476   576357   51.02%            x165 D   6266   6265     33
   6324  6034       45.8500   113       44.0000       66.4476   580766   51.02%             x25 D   6324   6323     91
Elapsed time = 257.64 sec. (411916.62 ticks, tree = 11.06 MB, solutions = 5)
   6386  6092       49.7885   132       44.0000       66.4028   587067   50.92%            x205 D   6386   6385     71
   6448  6150       54.5381   147       44.0000       66.3929   593253   50.89%            x218 D   6448   6447     58
   6508  6206       59.0861   170       44.0000       66.3917   597452   50.89%            x243 D   6508   6507     23
   6568  6266       46.0444   112       44.0000       66.3917   601484   50.89%             x16 D   6568   6567     83
   6628  6322       52.2500   106       44.0000       66.3763   607413   50.86%             x82 D   6628   6627     86
   6690  6380       55.8529   157       44.0000       66.3763   612801   50.86%            x229 D   6690   6689     46
   6750  6436       60.8990   189       44.0000       66.3679   617421   50.84%            x231 D   6750   6749     19
   6810  6496       50.0000   113       44.0000       66.3679   622331   50.84%              x0 D   6810   6809     79
   6872  6554       53.4143   149       44.0000       66.3459   627926   50.79%            x132 D   6872   6871     52
   6934  6612       56.9805   154       44.0000       66.3318   633296   50.75%            x233 D   6934   6933     51
Elapsed time = 281.43 sec. (450609.08 ticks, tree = 12.08 MB, solutions = 5)
   6996  6670       60.2469   177       44.0000       66.3075   638475   50.70%            x189 D   6996   6995     33
   7056  6730       48.7500   107       44.0000       66.3075   643167   50.70%            x229 D   7056   7055     93
   7118  6788       55.4332   155       44.0000       66.2880   648751   50.65%            x111 D   7118   7117     54
   7178  6844       59.3692   179       44.0000       66.2470   653147   50.56%            x129 D   7178   7177     16
   7240  6906       46.0000    88       44.0000       66.2470   657606   50.56%            x245 D   7240   7239     78
   7302  6964       49.0804   134       44.0000       66.2359   662818   50.54%            x228 D   7302   7301     71
   7366  7024       53.3415   142       44.0000       66.2340   668530   50.53%            x131 D   7366   7365     53
   7466  7120       49.1250   116       44.0000       66.2256   676436   50.51%              x5 D   7466   7465     79
   7742  7380       60.9537   183       44.0000       66.1301   700127   50.30%            x122 D   7742   7741     22
   8021  7647       58.3609   172       44.0000       66.0873   723629   50.20%            x132 D   8021   8020     32
Elapsed time = 307.37 sec. (489292.26 ticks, tree = 13.94 MB, solutions = 5)
   8304  7918       46.5090   119       44.0000       66.0243   747124   50.06%             x64 D   8304   8303     81
   8586  8184       58.0765   166       44.0000       65.9915   770426   49.98%            x188 D   8586   8585     38
   8868  8452       53.8144   147       44.0000       65.9672   793688   49.93%            x209 D   8868   8867     82
   9160  8730       45.8065   114       44.0000       65.9146   815864   49.81%             x51 D   9160   9159     87
   9436  8990       58.1928   174       44.0000       65.8524   839727   49.66%            x200 D   9436   9435     25
   9716  9258       51.7227   136       44.0000       65.8276   862440   49.61%             x61 D   9716   9715     71
  10000  9526       61.4340   184       44.0000       65.7616   885151   49.46%             x54 D  10000   9999     24
  10278  9792       53.7113   143       44.0000       65.7209   908773   49.37%            x101 D  10278  10277     57
  10560 10058       60.8324   182       44.0000       65.6628   932631   49.23%             x56 D  10560  10559     13
  10832 10318       52.7756   145       44.0000       65.6209   955976   49.14%            x146 D  10832  10831     71
Elapsed time = 340.94 sec. (527513.08 ticks, tree = 18.92 MB, solutions = 5)
  11117 10591       50.9583   122       44.0000       65.5828   977932   49.05%             x99 D  11117  11116     82
  11394 10852       57.1611   166       44.0000       65.5635  1001760   49.01%            x108 D  11394  11393     30
  11675 11121       47.2000   124       44.0000       65.5138  1024939   48.89%            x122 D  11675  11674     74
  11954 11382       59.1338   169       44.0000       65.4999  1048464   48.86%             x53 D  11954  11953     38
  12236 11652       51.9355   138       44.0000       65.4500  1072315   48.75%            x103 D  12236  12235     62
  12519 11923       45.7321   112       44.0000       65.4163  1094827   48.67%             x67 D  12519  12518     97
  12793 12181       54.5591   153       44.0000       65.3818  1119061   48.59%            x127 D  12793  12792     59
  13076 12448       61.5011   179       44.0000       65.3294  1141730   48.48%            x104 D  13076  13075     13
  13351 12711       51.7845   139       44.0000       65.2970  1165728   48.40%             x53 D  13351  13350     64
  13638 12982       57.4243   169       44.0000       65.2768  1188051   48.36%            x213 D  13638  13637     51
Elapsed time = 374.56 sec. (565712.22 ticks, tree = 23.71 MB, solutions = 5)
  13926 13254       59.9611   174       44.0000       65.2265  1211491   48.24%            x208 D  13926  13925     26
  14210 13522       61.9153   187       44.0000       65.2051  1234299   48.19%            x243 D  14210  14209     24
  14488 13788       49.3344   129       44.0000       65.1893  1257921   48.16%            x208 D  14488  14487     66
  14769 14053       53.2406   151       44.0000       65.1420  1281662   48.05%            x139 D  14769  14768     48
  15058 14326       58.4887   166       44.0000       65.1037  1304429   47.96%            x213 D  15058  15057     25
  15345 14597       59.4342   174       44.0000       65.0663  1327177   47.88%             x64 D  15345  15344     24
  15633 14873       50.5000    97       44.0000       65.0305  1349977   47.80%              x2 D  15633  15632     85
  15922 15146       57.8678   166       44.0000       64.9938  1372818   47.71%             x25 D  15922  15921     35
  16210 15422       49.7500    95       44.0000       64.9776  1395726   47.68%              x5 D  16210  16209     64
  16494 15690       55.6138   153       44.0000       64.9477  1419154   47.61%              x9 D  16494  16493     44
Elapsed time = 408.03 sec. (603947.94 ticks, tree = 28.55 MB, solutions = 5)
  16786 15966       60.2046   176       44.0000       64.9303  1441627   47.57%             x63 D  16786  16785     16
  17061 16229       50.6764   135       44.0000       64.9009  1464008   47.50%            x132 D  17061  17060     66
  17340 16492       54.6064   152       44.0000       64.8557  1487167   47.40%            x230 D  17340  17339     44
  17631 16767       60.5282   174       44.0000       64.8105  1510247   47.30%              x2 D  17631  17630     26
  17919 17039       60.2549   181       44.0000       64.7954  1533800   47.26%             x37 U  17919   2284     26
  18192 17300       53.5888   145       44.0000       64.7720  1556576   47.21%            x115 D  18192  18191     65
  18480 17572       51.7500   125       44.0000       64.7609  1580162   47.18%            x109 D  18480  18479     71
  18772 17848       50.4264   127       44.0000       64.7302  1602335   47.11%             x30 D  18772  18771     56
  19057 18113       51.4387   134       44.0000       64.7023  1624996   47.05%            x205 D  19057  19056     49
  19351 18391       53.0000   132       44.0000       64.6877  1648248   47.02%             x12 D  19351  19350     70
Elapsed time = 441.70 sec. (642200.30 ticks, tree = 33.74 MB, solutions = 5)
  19634 18658       56.4981   163       44.0000       64.6255  1672019   46.88%            x236 D  19634  19633     41
  19922 18930       58.7954   171       44.0000       64.6129  1695283   46.85%            x122 D  19922  19921     35
  20206 19198       60.5714   184       44.0000       64.5932  1718937   46.80%              x2 D  20206  20205     27
  20496 19472       61.0978   183       44.0000       64.5657  1741698   46.74%            x154 D  20496  20495     26
  20785 19747       49.5000   109       44.0000       64.5472  1764772   46.70%            x141 D  20785  20784     68
  21073 20017       50.7943   128       44.0000       64.5073  1788056   46.61%             x34 D  21073  21072     79
  21365 20293       47.7500    97       44.0000       64.4886  1811351   46.56%            x153 D  21365  21364     65
  21642 20554       51.4737   144       44.0000       64.4720  1832634   46.53%             x58 D  21642  21641     68
  21938 20834       57.0318   161       44.0000       64.4402  1854813   46.45%            x105 D  21938  21937     47
  22234 21114       60.6719   182       44.0000       64.4220  1878126   46.41%            x107 D  22234  22233     21
Elapsed time = 475.20 sec. (680444.72 ticks, tree = 38.67 MB, solutions = 5)
  22529 21397       48.7500    94       44.0000       64.3898  1901098   46.34%             x36 D  22529  22528     74
  22803 21655       52.6124   143       44.0000       64.3701  1925404   46.30%             x42 D  22803  22802     64
  23096 21930       53.4308   144       44.0000       64.3361  1947771   46.22%             x57 D  23096  23095     48
  23383 22201       57.0667   156       44.0000       64.3204  1970845   46.18%            x145 D  23383  23382     42
  23672 22474       58.2276   169       44.0000       64.3003  1993157   46.14%            x186 D  23672  23671     35
  23962 22748       56.1788   157       44.0000       64.2627  2013277   46.05%             x47 D  23962  23961     46
  24258 23028       56.4242   157       44.0000       64.2529  2028252   46.03%             x47 D  24258  24257     28
  24548 23302       58.6727   171       44.0000       64.2276  2043102   45.97%            x157 D  24548  24547     45
  24850 23588       58.4868   167       44.0000       64.2021  2057730   45.91%             x69 D  24850  24849     38
  25151 23873       54.2374   149       44.0000       64.1804  2072071   45.86%             x64 D  25151  25150     44
Elapsed time = 507.43 sec. (718658.09 ticks, tree = 62.24 MB, solutions = 5)
  25434 24140       58.3814   175       44.0000       64.1448  2086760   45.78%            x210 D  25434  25433     28
  25730 24420       57.7138   173       44.0000       64.1261  2101432   45.74%             x96 D  25730  25729     37
  26025 24699       59.7687   170       44.0000       64.1044  2116359   45.69%              x7 D  26025  26024     15
  26325 24983       60.6867   179       44.0000       64.0810  2130742   45.64%            x157 D  26325  26324     33
  26622 25264       58.3451   168       44.0000       64.0769  2145289   45.63%            x180 D  26622  26621     36
  26912 25538       57.9010   169       44.0000       64.0472  2160433   45.56%            x154 D  26912  26911     26
  27210 25820       56.0908   157       44.0000       64.0344  2174990   45.53%            x168 D  27210  27209     47
  27512 26104       54.1762   148       44.0000       64.0117  2189291   45.48%             x14 D  27512  27511     65
  27812 26388       49.0000    94       44.0000       63.9925  2204086   45.44%             x43 D  27812  27811     68
  28106 26662       58.9308   174       44.0000       63.9758  2219443   45.40%            x140 D  28106  28105     34
Elapsed time = 538.03 sec. (756861.17 ticks, tree = 107.43 MB, solutions = 5)
  28396 26936       60.3469   175       44.0000       63.9577  2234534   45.36%             x55 D  28396  28395     15
  28684 27212       48.6462   127       44.0000       63.9450  2249456   45.33%             x90 D  28684  28683     74
  28976 27488       49.0952   122       44.0000       63.9281  2264153   45.29%             x88 D  28976  28975     86
  29278 27770       57.1131   162       44.0000       63.8951  2278548   45.22%             x88 D  29278  29277     17
  29573 28049       55.4140   154       44.0000       63.8850  2293669   45.19%             x81 D  29573  29572     38
  29870 28330       52.5524   140       44.0000       63.8802  2307932   45.18%             x74 D  29870  29869     63
  30170 28614       48.5000    91       44.0000       63.8629  2322405   45.14%            x143 D  30170  30169     79
  30450 28878       48.0000    91       44.0000       63.8355  2336826   45.08%             x52 D  30450  30449     94
  30745 29153       55.5126   157       44.0000       63.8111  2352326   45.03%             x19 D  30745  30744     45
  31050 29442       49.5333   124       44.0000       63.7948  2366254   44.99%             x97 D  31050  31049     56
Elapsed time = 569.33 sec. (795065.11 ticks, tree = 152.53 MB, solutions = 5)
Nodefile size = 24.64 MB (16.35 MB after compression)
  31346 29722       46.5000    94       44.0000       63.7772  2380356   44.95%             x36 D  31346  31345     91
  31640 29996       57.1008   165       44.0000       63.7534  2395230   44.89%              x1 D  31640  31639     42
  31932 30272       51.4492   141       44.0000       63.7438  2410157   44.87%             x24 D  31932  31931     66
  32232 30556       54.4429   148       44.0000       63.7281  2424726   44.84%             x76 D  32232  32231     33
  32525 30833       52.4000   129       44.0000       63.7085  2439823   44.79%            x215 D  32525  32524     65
  32830 31122       46.0588   101       44.0000       63.6982  2453926   44.77%              x8 D  32830  32829     76
  33120 31392       55.5121   151       44.0000       63.6890  2469153   44.75%             x43 D  33120  33119     33
  33420 31676       49.8848   122       44.0000       63.6801  2483464   44.73%            x200 D  33420  33419     73
  33718 31954       58.2051   164       44.0000       63.6603  2498353   44.68%             x10 D  33718  33717     17
  34018 32238       51.6392   137       44.0000       63.6389  2512588   44.63%             x55 D  34018  34017     47
Elapsed time = 601.18 sec. (833292.98 ticks, tree = 199.59 MB, solutions = 5)
Nodefile size = 72.13 MB (51.10 MB after compression)
  34327 32527       60.0226   178       44.0000       63.6008  2526800   44.55%             x80 U  34327    925     24
  34593 32781       48.3627   126       44.0000       63.5952  2541570   44.53%            x120 D  34593  34592     67
  34872 33040       57.8650   171       44.0000       63.5727  2556834   44.48%            x228 D  34872  34871     33
  35160 33312       52.3711   140       44.0000       63.5605  2571610   44.46%            x112 D  35160  35159     42
  35446 33582       51.6744   134       44.0000       63.5533  2586434   44.44%            x155 D  35446  35445     69
  35738 33854       57.8194   168       44.0000       63.5281  2600720   44.38%            x130 D  35738  35737     31
  36022 34122       55.5249   157       44.0000       63.5230  2615867   44.37%            x224 D  36022  36021     47
  36314 34398       51.3750   135       44.0000       63.5182  2630325   44.36%            x231 D  36314  36313     59
  36607 34671       60.0573   184       44.0000       63.4999  2645269   44.32%            x241 U  36607     45     46
  36890 34938       55.6146   160       44.0000       63.4870  2660229   44.29%             x61 D  36890  36889     44
Elapsed time = 633.26 sec. (871595.00 ticks, tree = 244.74 MB, solutions = 5)
Nodefile size = 117.66 MB (86.41 MB after compression)
  37176 35206       52.0020   137       44.0000       63.4817  2675496   44.28%            x121 D  37176  37175     65
  37466 35480       48.8125   123       44.0000       63.4694  2689690   44.25%             x48 D  37466  37465     65
  37758 35756       45.5000   101       44.0000       63.4599  2704122   44.23%             x74 D  37758  37757     85
  38046 36024       56.5804   160       44.0000       63.4391  2719021   44.18%            x203 D  38046  38045     29
  38330 36292       54.0764   151       44.0000       63.4314  2734190   44.16%            x143 D  38330  38329     33
  38620 36564       50.7220   128       44.0000       63.4084  2748880   44.11%            x234 D  38620  38619     60
  38910 36838       46.6972   117       44.0000       63.4003  2763219   44.09%            x199 D  38910  38909     74
  39199 37107       57.9930   175       44.0000       63.3871  2778133   44.06%            x108 U  39199   1328     28
  39484 37374       56.0826   157       44.0000       63.3750  2793277   44.03%            x124 D  39484  39483     23
  39778 37652       53.1628   142       44.0000       63.3590  2807531   44.00%            x124 D  39778  39777     56
Elapsed time = 665.56 sec. (909881.36 ticks, tree = 291.07 MB, solutions = 5)
Nodefile size = 164.01 MB (123.51 MB after compression)
  40065 37923       51.2052   145       44.0000       63.3525  2822069   43.98%            x105 D  40065  40064     87
  40358 38198       45.0694   112       44.0000       63.3449  2836833   43.97%             x74 D  40358  40357     90
  40632 38452       55.9892   158       44.0000       63.3285  2852303   43.93%            x121 D  40632  40631     45
  40926 38728       51.0855   135       44.0000       63.3193  2866441   43.91%            x219 D  40926  40925     82
  41208 38994       49.9740   132       44.0000       63.3087  2881440   43.88%            x108 D  41208  41207     80
  41497 39263       59.0391   171       44.0000       63.2901  2896684   43.84%            x108 U  41497   7824     11
  41773 39523       50.8889   134       44.0000       63.2819  2911813   43.82%             x11 D  41773  41772     63
  42072 39806       45.5430   108       44.0000       63.2620  2925733   43.78%             x84 D  42072  42071     79
  42360 40072       56.9343   165       44.0000       63.2438  2940766   43.74%             x97 D  42360  42359     22
  42648 40344       53.2004   146       44.0000       63.2380  2955699   43.72%            x232 D  42648  42647     42
Elapsed time = 697.58 sec. (948117.24 ticks, tree = 337.16 MB, solutions = 5)
Nodefile size = 209.48 MB (160.21 MB after compression)
  42937 40617       53.8000   148       44.0000       63.2289  2970261   43.70%             x27 D  42937  42936     42
  43230 40894       47.1833   119       44.0000       63.2240  2984143   43.69%            x151 D  43230  43229     66
  43520 41168       46.5000    87       44.0000       63.2160  2998840   43.67%              x3 D  43520  43519     74
  43806 41432       57.6228   166       44.0000       63.2058  3013840   43.65%            x175 D  43806  43805     24
  44092 41702       49.6966   130       44.0000       63.1768  3028877   43.58%             x88 D  44092  44091     73
  44384 41974       55.6205   153       44.0000       63.1686  3043457   43.57%            x241 D  44384  44383     30
  44671 42245       52.0000   122       44.0000       63.1554  3058309   43.53%             x58 D  44671  44670     58
  44964 42518       59.2075   165       44.0000       63.1436  3072782   43.51%             x92 D  44964  44963     18
  45251 42789       55.0578   147       44.0000       63.1244  3087485   43.46%            x166 D  45251  45250     47
  45542 43064       48.7717   126       44.0000       63.1121  3102306   43.44%            x135 D  45542  45541     73
Elapsed time = 729.46 sec. (986350.33 ticks, tree = 382.02 MB, solutions = 5)
Nodefile size = 254.90 MB (197.02 MB after compression)
  45832 43334       54.3519   142       44.0000       63.0902  3117279   43.39%            x108 D  45832  45831     46
  46120 43602       59.3432   178       44.0000       63.0799  3132803   43.36%             x69 U  46120   1034     35
  46400 43866       55.7707   152       44.0000       63.0709  3147873   43.34%             x72 D  46400  46399     24
  46698 44142       59.0844   178       44.0000       63.0617  3162770   43.32%            x150 U  46698    276     32
  46992 44420       53.0839   139       44.0000       63.0518  3176721   43.30%            x195 D  46992  46991     50
  47285 44697       45.6250    98       44.0000       63.0420  3191490   43.28%            x148 D  47285  47284     77
  47572 44964       55.7374   162       44.0000       63.0361  3206189   43.26%            x185 D  47572  47571     33
  47858 45234       50.5532   129       44.0000       63.0335  3221351   43.26%             x56 D  47858  47857     57
  48149 45503       55.9114   157       44.0000       63.0256  3236304   43.24%            x195 D  48149  48148     20
  48439 45777       47.3214   113       44.0000       63.0169  3250476   43.22%            x192 D  48439  48438     75
Elapsed time = 761.64 sec. (1024688.12 ticks, tree = 425.70 MB, solutions = 5)
Nodefile size = 298.07 MB (231.97 MB after compression)
  48727 46045       54.1021   145       44.0000       63.0135  3265532   43.21%             x47 D  48727  48726     40
  49020 46318       59.1590   172       44.0000       63.0004  3279985   43.18%            x242 D  49020  49019     13
  49309 46591       54.7684   143       44.0000       62.9980  3294439   43.18%             x37 D  49309  49308     44
  49608 46874       48.5000   116       44.0000       62.9900  3308332   43.16%            x184 D  49608  49607     76
  49902 47146       52.0809   142       44.0000       62.9870  3322961   43.15%             x18 D  49902  49901     57
  50171 47399       49.6233   125       44.0000       62.9714  3337583   43.12%            x140 D  50171  50170     63
  50454 47662       57.5187   169       44.0000       62.9637  3352813   43.10%            x118 U  50454   8560     13
  50744 47936       51.7645   140       44.0000       62.9558  3367615   43.08%             x61 D  50744  50743     46
  51024 48200       51.0000   134       44.0000       62.9523  3382280   43.07%            x127 D  51024  51023     47
  51311 48467       57.6787   169       44.0000       62.9368  3396908   43.04%             x93 D  51311  51310     32
Elapsed time = 793.62 sec. (1062981.26 ticks, tree = 470.57 MB, solutions = 5)
Nodefile size = 342.64 MB (268.25 MB after compression)
  51600 48740       50.4651   129       44.0000       62.9238  3411813   43.01%            x137 D  51600  51599     61
  51890 49010       58.6461   169       44.0000       62.9103  3426511   42.98%              x0 D  51890  51889     25
  52178 49280       54.6234   143       44.0000       62.8932  3441449   42.94%             x92 D  52178  52177     36
  52474 49556       58.2959   172       44.0000       62.8761  3455692   42.90%             x53 D  52474  52473     33
  52756 49822       56.7955   167       44.0000       62.8698  3470681   42.89%             x76 D  52756  52755     43
  53047 50097       48.1469   124       44.0000       62.8571  3484963   42.86%            x233 D  53047  53046     81
  53334 50364       55.3102   158       44.0000       62.8509  3499384   42.84%            x238 D  53334  53333     47
  53616 50630       50.6111   136       44.0000       62.8416  3514654   42.82%            x183 D  53616  53615     70
  53916 50912       45.3647   110       44.0000       62.8348  3528973   42.81%             x33 D  53916  53915     88
  54202 51178       53.6048   139       44.0000       62.8276  3544015   42.79%            x245 D  54202  54201     44
Elapsed time = 825.68 sec. (1101202.71 ticks, tree = 515.18 MB, solutions = 5)
Nodefile size = 388.15 MB (305.50 MB after compression)
  54491 51443       59.0702   174       44.0000       62.8220  3559213   42.78%            x176 U  54491   4328      6
  54783 51719       53.1489   138       44.0000       62.8161  3573738   42.76%              x0 D  54783  54782     50
  55078 51994       58.2825   176       44.0000       62.8110  3588461   42.75%            x166 U  55078     49     50
  55366 52264       53.5467   145       44.0000       62.8010  3603658   42.73%            x200 D  55366  55365     45
  55664 52546       45.8600   111       44.0000       62.7972  3617778   42.72%            x121 D  55664  55663     80
  55956 52818       56.0215   149       44.0000       62.7884  3632430   42.70%            x165 D  55956  55955     27
  56263 53105       59.2050   178       44.0000       62.7843  3646120   42.69%             x52 U  56263   3496     35
  56550 53376       52.2933   138       44.0000       62.7776  3661176   42.68%             x67 D  56550  56549     42
  56847 53653       59.3969   169       44.0000       62.7729  3675233   42.67%            x229 D  56847  56846     22
  57140 53930       51.1449   135       44.0000       62.7672  3689518   42.65%             x33 D  57140  57139     54
Elapsed time = 857.84 sec. (1139502.57 ticks, tree = 560.23 MB, solutions = 5)
Nodefile size = 432.61 MB (341.40 MB after compression)
  57432 54202       57.2545   163       44.0000       62.7552  3703965   42.63%             x23 D  57432  57431     26
  57724 54478       48.4247   122       44.0000       62.7524  3718854   42.62%            x221 D  57724  57723     70
  58019 54753       59.9435   175       44.0000       62.7418  3733450   42.59%            x201 U  58019  15489     18
  58309 55027       51.2055   136       44.0000       62.7315  3748157   42.57%            x101 D  58309  58308     57
  58586 55288       47.0000    89       44.0000       62.7159  3762618   42.54%             x67 D  58586  58585     65
  58866 55548       55.0963   151       44.0000       62.7002  3776801   42.50%             x15 D  58866  58865     29
  59162 55824       57.7486   172       44.0000       62.6939  3791401   42.49%             x67 D  59162  59161     40
  59450 56096       52.2975   143       44.0000       62.6877  3805738   42.47%             x73 D  59450  59449     60
  59740 56370       48.5495   118       44.0000       62.6760  3820480   42.45%             x58 D  59740  59739     70
  60034 56642       58.2575   171       44.0000       62.6633  3834803   42.42%             x53 D  60034  60033     32
Elapsed time = 889.65 sec. (1177761.50 ticks, tree = 605.06 MB, solutions = 5)
Nodefile size = 477.10 MB (377.82 MB after compression)
  60334 56924       50.3039   123       44.0000       62.6546  3848704   42.40%            x129 D  60334  60333     55
  60626 57196       57.5112   164       44.0000       62.6454  3863265   42.38%             x51 D  60626  60625     32
  60911 57465       53.7240   145       44.0000       62.6388  3877822   42.36%            x220 D  60911  60910     47
  61210 57742       59.0261   175       44.0000       62.6353  3892802   42.35%            x226 U  61210   6740     10
  61507 58023       45.8762   109       44.0000       62.6321  3906805   42.35%            x151 D  61507  61506     61
  61793 58287       51.9698   134       44.0000       62.6262  3921655   42.33%            x236 D  61793  61792     60
  62081 58555       58.0623   170       44.0000       62.6159  3936329   42.31%              x6 U  62081   3033     33
  62374 58828       48.5714   121       44.0000       62.6066  3950975   42.29%              x5 D  62374  62373     78
  62670 59104       52.2250   135       44.0000       62.6031  3965297   42.28%            x229 D  62670  62669     45
  62952 59370       49.0000    95       44.0000       62.6007  3980504   42.27%            x181 D  62952  62951     79
Elapsed time = 921.80 sec. (1216049.47 ticks, tree = 651.89 MB, solutions = 5)
Nodefile size = 524.37 MB (416.42 MB after compression)
  63245 59643       56.7474   160       44.0000       62.5907  3994605   42.25%             x44 D  63245  63244     34
  63536 59918       46.4391   118       44.0000       62.5860  4009402   42.24%             x25 D  63536  63535     93
  63829 60191       52.8854   145       44.0000       62.5759  4023263   42.22%            x226 D  63829  63828     41
  64124 60466       56.5684   162       44.0000       62.5691  4037653   42.20%            x239 D  64124  64123     27
  64410 60736       50.8768   136       44.0000       62.5614  4052507   42.19%            x166 D  64410  64409     68
  64702 61006       57.0413   163       44.0000       62.5534  4066914   42.17%            x149 D  64702  64701     21
  64997 61285       49.0000    92       44.0000       62.5406  4081377   42.14%              x7 D  64997  64996     58
  65288 61556       50.3492   129       44.0000       62.5358  4096033   42.13%            x142 D  65288  65287     63
  65575 61827       45.8438   114       44.0000       62.5292  4110736   42.11%            x206 D  65575  65574     94
  65862 62094       49.6000   128       44.0000       62.5194  4125910   42.09%             x25 D  65862  65861     67
Elapsed time = 953.48 sec. (1254238.83 ticks, tree = 697.33 MB, solutions = 5)
Nodefile size = 569.62 MB (453.37 MB after compression)
  66151 62363       55.0564   154       44.0000       62.5156  4140794   42.08%             x27 D  66151  66150     41
  66449 62641       54.3187   153       44.0000       62.5026  4155022   42.05%             x24 D  66449  66448     21
  66744 62916       59.0421   175       44.0000       62.4942  4169438   42.03%             x58 D  66744  66743     16
  67029 63185       51.8333   112       44.0000       62.4793  4184446   42.00%             x88 D  67029  67028     58
  67320 63456       55.8755   154       44.0000       62.4702  4199043   41.98%            x110 D  67320  67319     28
  67615 63735       46.4167   106       44.0000       62.4679  4213724   41.97%             x57 D  67615  67614     74
  67912 64012       55.3513   151       44.0000       62.4647  4227867   41.97%            x152 D  67912  67911     31
  68203 64283       55.7557   163       44.0000       62.4536  4242888   41.94%            x151 D  68203  68202     38
  68496 64560       45.0000   101       44.0000       62.4488  4256924   41.93%            x206 D  68496  68495     71
  68795 64837       49.4286   106       44.0000       62.4396  4271315   41.91%             x45 D  68795  68794     52
Elapsed time = 985.19 sec. (1292439.46 ticks, tree = 744.22 MB, solutions = 5)
Nodefile size = 617.09 MB (492.23 MB after compression)
  69084 65106       52.1053   140       44.0000       62.4280  4286108   41.88%            x139 D  69084  69083     45
  69378 65378       55.5791   159       44.0000       62.4247  4300017   41.87%            x205 D  69378  69377     45
  69671 65651       57.0213   165       44.0000       62.4169  4314869   41.86%            x188 D  69671  69670     17
  69966 65926       59.6079   176       44.0000       62.4095  4329671   41.84%            x138 U  69966  10783     23
  70249 66193       54.7455   153       44.0000       62.4063  4344155   41.83%            x235 D  70249  70248     35
  70536 66464       47.0476   117       44.0000       62.4021  4358825   41.82%              x4 D  70536  70535     66
  70821 66729       55.5488   161       44.0000       62.4000  4373849   41.82%            x101 D  70821  70820     63
  71114 67006       50.6259   134       44.0000       62.3917  4388332   41.80%             x68 D  71114  71113     52
  71410 67282       53.5639   147       44.0000       62.3839  4402720   41.78%             x90 D  71410  71409     39
  71708 67564       49.1667   117       44.0000       62.3727  4416608   41.76%            x175 D  71708  71707     72
Elapsed time = 1016.79 sec. (1330676.67 ticks, tree = 789.86 MB, solutions = 5)
Nodefile size = 661.86 MB (528.93 MB after compression)
  71994 67830       58.0334   164       44.0000       62.3662  4431057   41.74%             x31 D  71994  71993     23
  72288 68108       49.9048   131       44.0000       62.3552  4445645   41.72%            x122 D  72288  72287     80
  72579 68379       52.8418   140       44.0000       62.3533  4460638   41.71%            x226 D  72579  72578     68
  72866 68646       55.1712   161       44.0000       62.3459  4475215   41.70%             x35 D  72866  72865     24
  73159 68919       57.0830   165       44.0000       62.3443  4489850   41.69%             x91 D  73159  73158     18
  73455 69195       58.3288   169       44.0000       62.3370  4504348   41.67%             x26 D  73455  73454     17
  73746 69470       46.1000   116       44.0000       62.3286  4518791   41.66%             x83 D  73746  73745     88
  74043 69743       58.2141   171       44.0000       62.3181  4533687   41.63%             x17 U  74043  16153      8
  74332 70016       50.3691   135       44.0000       62.3120  4548598   41.62%            x100 D  74332  74331     60
  74621 70285       53.2083   139       44.0000       62.3079  4563211   41.61%            x225 D  74621  74620     34
Elapsed time = 1048.76 sec. (1368923.04 ticks, tree = 835.96 MB, solutions = 5)
Nodefile size = 708.10 MB (566.58 MB after compression)
  74910 70554       58.4842   168       44.0000       62.3001  4577851   41.59%            x195 D  74910  74909     23
  75198 70826       48.1406   115       44.0000       62.2943  4593067   41.58%              x4 D  75198  75197     90
  75486 71094       55.3000   160       44.0000       62.2891  4608163   41.57%            x202 D  75486  75485     40
  75782 71374       46.4211   111       44.0000       62.2849  4622417   41.56%            x148 D  75782  75781     96
  76072 71644       50.5000    94       44.0000       62.2786  4637056   41.54%            x167 D  76072  76071     49
  76368 71920       56.7952   161       44.0000       62.2749  4651381   41.53%            x232 D  76368  76367     27
  76651 72187       50.9957   132       44.0000       62.2676  4666675   41.52%            x142 D  76651  76650     56
  76945 72461       49.6617   125       44.0000       62.2591  4680658   41.50%             x60 D  76945  76944     50
  77238 72734       52.7706   139       44.0000       62.2511  4695231   41.48%             x71 D  77238  77237     45
  77536 73012       54.0258   150       44.0000       62.2463  4709647   41.47%            x204 D  77536  77535     27
Elapsed time = 1080.39 sec. (1407156.84 ticks, tree = 882.26 MB, solutions = 5)
Nodefile size = 754.55 MB (604.72 MB after compression)
  77832 73292       45.5000    99       44.0000       62.2411  4723693   41.46%            x120 D  77832  77831     73
  78121 73557       58.6150   170       44.0000       62.2338  4738578   41.44%             x91 U  78121  12352     15
  78407 73827       52.2500   129       44.0000       62.2269  4753290   41.42%            x105 D  78407  78406     46
  78703 74103       51.8181   134       44.0000       62.2182  4767531   41.40%            x136 D  78703  78702     53
  78988 74372       45.4063   112       44.0000       62.2142  4781848   41.40%            x234 D  78988  78987     87
  79276 74638       54.2145   153       44.0000       62.2002  4797084   41.36%             x51 D  79276  79275     58
  79571 74909       57.7880   166       44.0000       62.1873  4811969   41.33%            x139 U  79571   4084     11
  79861 75183       48.3667   116       44.0000       62.1819  4826745   41.32%             x89 D  79861  79860     62
  80157 75459       48.1250   112       44.0000       62.1784  4841440   41.31%             x79 D  80157  80156     70
  80451 75733       50.6787   135       44.0000       62.1724  4855861   41.30%            x190 D  80451  80450     44
Elapsed time = 1112.21 sec. (1445377.41 ticks, tree = 925.74 MB, solutions = 5)
Nodefile size = 798.70 MB (640.37 MB after compression)
  80742 76004       50.6563   127       44.0000       62.1635  4871087   41.28%            x126 D  80742  80741     62
  81034 76276       55.9644   153       44.0000       62.1603  4885649   41.27%            x194 D  81034  81033     32
  81333 76555       57.3444   164       44.0000       62.1539  4900042   41.26%             x45 D  81333  81332     23
  81618 76824       53.3159   144       44.0000       62.1518  4913846   41.25%            x185 D  81618  81617     39
  81910 77096       55.7977   158       44.0000       62.1482  4928575   41.25%            x114 D  81910  81909     27
  82199 77369       48.8571   127       44.0000       62.1454  4943039   41.24%             x47 D  82199  82198     80
  82492 77642       53.3878   140       44.0000       62.1378  4957624   41.22%             x45 D  82492  82491     43
  82785 77915       57.6659   171       44.0000       62.1326  4972120   41.21%              x5 D  82785  82784     42
  83078 78192       48.5000    92       44.0000       62.1285  4986082   41.20%             x17 D  83078  83077     84
  83375 78469       52.4297   134       44.0000       62.1225  5000325   41.19%            x114 D  83375  83374     52
Elapsed time = 1143.84 sec. (1483585.27 ticks, tree = 971.18 MB, solutions = 5)
Nodefile size = 844.12 MB (677.26 MB after compression)
  83661 78735       54.2841   153       44.0000       62.1095  5014971   41.16%            x171 D  83661  83660     48
  83947 79001       55.5205   156       44.0000       62.0994  5030434   41.14%            x144 D  83947  83946     27
  84244 79282       45.8200   112       44.0000       62.0971  5044518   41.13%            x191 D  84244  84243     82
  84530 79546       52.8387   140       44.0000       62.0908  5059071   41.12%            x117 D  84530  84529     42
  84824 79820       56.9313   165       44.0000       62.0862  5073402   41.10%             x25 D  84824  84823     28
  85115 80095       48.8110   123       44.0000       62.0823  5087984   41.10%              x0 D  85115  85114     75
  85392 80352       57.6897   167       44.0000       62.0759  5102105   41.08%             x97 D  85392  85391     32
  85688 80632       46.4161   121       44.0000       62.0728  5116800   41.07%            x105 D  85688  85687     97
  85986 80910       49.0000   121       44.0000       62.0657  5131339   41.06%             x91 D  85986  85985     57
  86269 81173       51.7585   138       44.0000       62.0614  5146312   41.05%            x190 D  86269  86268     54
Elapsed time = 1175.66 sec. (1521801.24 ticks, tree = 1017.64 MB, solutions = 5)
Nodefile size = 890.32 MB (714.83 MB after compression)
  86563 81447       52.6775   144       44.0000       62.0578  5160455   41.04%            x167 D  86563  86562     41
  86849 81713       54.6448   147       44.0000       62.0418  5175603   41.00%              x4 D  86849  86848     39
  87144 81986       55.7559   155       44.0000       62.0370  5190351   40.99%             x52 D  87144  87143     33
  87442 82268       48.6389   114       44.0000       62.0335  5204841   40.99%            x134 D  87442  87441     77
  87730 82536       48.6494   120       44.0000       62.0271  5219792   40.97%              x3 D  87730  87729     68
  88023 82809       54.1485   152       44.0000       62.0212  5234093   40.96%            x245 D  88023  88022     32
  88312 83078       55.8386   159       44.0000       62.0140  5249186   40.94%             x56 D  88312  88311     25
  88595 83341       57.8689   174       44.0000       62.0102  5264500   40.93%             x55 U  88595   1643     36
  88881 83611       47.5329   123       44.0000       62.0070  5278921   40.93%            x135 D  88881  88880     83
  89179 83887       49.7625   124       44.0000       62.0022  5293373   40.91%             x50 D  89179  89178     65
Elapsed time = 1207.26 sec. (1560027.38 ticks, tree = 1061.21 MB, solutions = 5)
Nodefile size = 934.09 MB (750.12 MB after compression)
  89473 84161       52.7659   145       44.0000       61.9923  5308047   40.89%             x51 D  89473  89472     60
  89767 84431       53.3641   152       44.0000       61.9884  5322300   40.88%             x13 D  89767  89766     49
  90058 84702       51.8372   145       44.0000       61.9859  5336984   40.88%            x187 D  90058  90057     57
  90355 84979       54.9117   157       44.0000       61.9808  5351391   40.87%             x32 D  90355  90354     22
  90650 85254       57.5679   167       44.0000       61.9731  5365625   40.85%            x213 D  90650  90649     17
  90950 85538       45.4167   104       44.0000       61.9691  5379461   40.84%             x46 D  90950  90949     94
  91244 85808       56.8845   160       44.0000       61.9587  5393964   40.82%            x206 D  91244  91243     18
  91546 86090       56.6589   167       44.0000       61.9499  5408227   40.80%            x132 U  91546   1833     24
  91841 86365       56.2053   156       44.0000       61.9460  5422563   40.79%            x112 D  91841  91840     28
  92138 86642       54.9593   152       44.0000       61.9372  5437206   40.77%            x137 D  92138  92137     41
Elapsed time = 1239.04 sec. (1598295.01 ticks, tree = 1106.32 MB, solutions = 5)
Nodefile size = 978.95 MB (786.34 MB after compression)
  92424 86908       55.6668   155       44.0000       61.9319  5452367   40.75%            x157 D  92424  92423     49
  92717 87181       56.6662   159       44.0000       61.9277  5467265   40.74%            x241 D  92717  92716     31
  93008 87452       57.5361   162       44.0000       61.9228  5482287   40.73%            x246 U  93008   5726     18
  93306 87734       46.0000    86       44.0000       61.9186  5496421   40.72%              x6 D  93306  93305     79
  93600 88008       50.7500    99       44.0000       61.9113  5510670   40.71%             x43 D  93600  93599     56
  93895 88283       49.5469   123       44.0000       61.9040  5525311   40.69%            x119 D  93895  93894     63
  94194 88562       47.0000    89       44.0000       61.8999  5539276   40.68%              x2 D  94194  94193     57
  94490 88838       52.7861   144       44.0000       61.8948  5553909   40.67%            x122 D  94490  94489     43
  94783 89109       54.9097   149       44.0000       61.8895  5568534   40.66%            x241 D  94783  94782     39
  95074 89380       55.1953   155       44.0000       61.8844  5583317   40.65%            x204 D  95074  95073     30
Elapsed time = 1270.64 sec. (1636525.69 ticks, tree = 1150.93 MB, solutions = 5)
Nodefile size = 1022.98 MB (821.92 MB after compression)
  95371 89655       55.7741   159       44.0000       61.8722  5597414   40.62%            x146 D  95371  95370     27
  95663 89931       49.5000    93       44.0000       61.8689  5612080   40.61%             x28 D  95663  95662     67
  95954 90202       47.6000   108       44.0000       61.8653  5626968   40.60%            x134 D  95954  95953     72
  96248 90476       47.3125   116       44.0000       61.8612  5641546   40.59%             x84 D  96248  96247     64
  96535 90743       52.3714   139       44.0000       61.8571  5655863   40.58%            x239 D  96535  96534     55
  96831 91019       53.3238   145       44.0000       61.8532  5670036   40.58%            x238 D  96831  96830     37
  97123 91289       58.7176   172       44.0000       61.8471  5685159   40.56%             x19 U  97123  12105     20
  97417 91567       46.7000   110       44.0000       61.8415  5699301   40.55%             x67 D  97417  97416     65
  97716 91842       56.5576   163       44.0000       61.8365  5713690   40.54%            x131 D  97716  97715     18
  98016 92126       47.0328   111       44.0000       61.8269  5727712   40.52%             x41 D  98016  98015     72
Elapsed time = 1302.30 sec. (1674742.59 ticks, tree = 1197.25 MB, solutions = 5)
Nodefile size = 1070.02 MB (860.11 MB after compression)
  98309 92397       48.8922   122       44.0000       61.8238  5742364   40.51%             x26 D  98309  98308     52
  98608 92676       53.5919   139       44.0000       61.8167  5756431   40.49%             x61 D  98608  98607     48
  98904 92952       54.6177   155       44.0000       61.8110  5770573   40.48%             x94 D  98904  98903     35
  99199 93227       57.1918   165       44.0000       61.8096  5785330   40.48%             x61 D  99199  99198     35
  99475 93487       47.7500   117       44.0000       61.8074  5801001   40.47%             x14 D  99475  99474     66
  99778 93770       46.1000   113       44.0000       61.8055  5814806   40.47%             x67 D  99778  99777     79
 100074 94044       47.1250   105       44.0000       61.8025  5829619   40.46%             x92 D 100074 100073     70
 100361 94311       49.5333   122       44.0000       61.7910  5844665   40.43%            x154 D 100361 100360     59
 100649 94579       54.0706   145       44.0000       61.7878  5859689   40.43%            x197 D 100649 100648     45
 100938 94848       57.7144   163       44.0000       61.7832  5874607   40.42%            x195 D 100938 100937     14
Elapsed time = 1333.96 sec. (1712954.31 ticks, tree = 1240.87 MB, solutions = 5)
Nodefile size = 1113.19 MB (894.83 MB after compression)
 101232 95122       57.5403   164       44.0000       61.7782  5888972   40.41%             x83 D 101232 101231     19
 101535 95409       46.7197   120       44.0000       61.7774  5902298   40.40%            x183 D 101535 101534     64
 101832 95684       46.4375   113       44.0000       61.7726  5916758   40.39%            x233 D 101832 101831     77
 102115 95947       54.0136   149       44.0000       61.7685  5931704   40.38%             x50 D 102115 102114     45
 102408 96220       51.6375   138       44.0000       61.7654  5945798   40.38%              x3 D 102408 102407     53
 102700 96492       49.9429   129       44.0000       61.7639  5960933   40.37%            x111 D 102700 102699     54
 102984 96756       53.1170   148       44.0000       61.7558  5975536   40.35%            x231 D 102984 102983     47
 103266 97018       56.2338   153       44.0000       61.7498  5989999   40.34%            x135 D 103266 103265     31
 103562 97294       55.5144   164       44.0000       61.7460  6004347   40.33%            x223 D 103562 103561     45
 103858 97574       45.2036   112       44.0000       61.7437  6018521   40.33%             x80 D 103858 103857     71
Elapsed time = 1365.65 sec. (1751171.58 ticks, tree = 1285.34 MB, solutions = 5)
Nodefile size = 1157.63 MB (930.63 MB after compression)
 104155 97851       45.1023   104       44.0000       61.7367  6032928   40.31%            x159 D 104155 104154     86
 104451 98127       48.7308   119       44.0000       61.7319  6047201   40.30%             x50 D 104451 104450     60
 104750 98400       57.4750   161       44.0000       61.7192  6061805   40.27%             x87 D 104750 104749     26
 105040 98674       50.2440   134       44.0000       61.7149  6076384   40.26%             x65 D 105040 105039     69
 105327 98941       50.5000    95       44.0000       61.7074  6091495   40.24%            x159 D 105327 105326     56
 105616 99208       51.6409   142       44.0000       61.7031  6106375   40.23%            x114 D 105616 105615     42
 105910 99482       50.8773   135       44.0000       61.7010  6120903   40.23%            x111 D 105910 105909     61
 106202 99754       50.5839   138       44.0000       61.6975  6136052   40.22%            x180 D 106202 106201     72
 106508 100040       49.2000   122       44.0000       61.6841  6149585   40.19%             x48 D 106508 106507     56
 106798 100310       51.9344   138       44.0000       61.6785  6164576   40.18%            x128 D 106798 106797     47
Elapsed time = 1397.21 sec. (1789403.78 ticks, tree = 1329.17 MB, solutions = 5)
Nodefile size = 1201.80 MB (966.40 MB after compression)
 107093 100585       48.8182   118       44.0000       61.6765  6178957   40.17%            x228 D 107093 107092     73
 107388 100860       53.0000   102       44.0000       61.6702  6193369   40.16%            x109 D 107388 107387     51
 107677 101129       51.8689   137       44.0000       61.6679  6207846   40.15%              x2 D 107677 107676     48
 107966 101398       53.2537   141       44.0000       61.6620  6222925   40.14%             x94 D 107966 107965     35
 108271 101683       51.1667   111       44.0000       61.6577  6236356   40.13%            x142 D 108271 108270     55
 108568 101960       48.9000   111       44.0000       61.6544  6250679   40.12%            x151 D 108568 108567     86
 108864 102236       45.2784   104       44.0000       61.6443  6265245   40.10%             x18 D 108864 108863     70
 109154 102506       46.7681   113       44.0000       61.6398  6280015   40.09%             x96 D 109154 109153     61
 109446 102774       58.1021   167       44.0000       61.6301  6295168   40.07%             x24 U 109446   8567     20
 109742 103054       46.6364   117       44.0000       61.6263  6309473   40.06%             x67 D 109742 109741     88
Elapsed time = 1428.90 sec. (1827608.23 ticks, tree = 1373.26 MB, solutions = 5)
Nodefile size = 1245.26 MB (1001.44 MB after compression)
 110040 103332       46.0000    84       44.0000       61.6212  6323534   40.05%              x7 D 110040 110039     72
 110332 103604       47.3636   116       44.0000       61.6187  6338191   40.04%            x204 D 110332 110331     68
 110637 103885       58.3074   172       44.0000       61.6104  6352731   40.02%             x49 U 110637   4414     20
 110934 104162       54.9015   148       44.0000       61.6031  6367087   40.01%             x80 D 110934 110933     29
 111236 104444       50.7500   119       44.0000       61.6012  6381382   40.00%             x94 D 111236 111235     45
 111534 104722       53.6122   141       44.0000       61.5991  6395577   40.00%             x42 D 111534 111533     41
 111832 105000       49.3199   126       44.0000       61.5951  6409524   39.99%             x38 D 111832 111831     55
 112131 105275       58.3854   169       44.0000       61.5904  6423653   39.98%            x225 U 112131  15987     16
 112423 105547       55.6697   160       44.0000       61.5838  6438463   39.96%             x48 D 112423 112422     29
 112721 105823       57.8254   169       44.0000       61.5781  6452899   39.95%            x165 U 112721  28470     18
Elapsed time = 1460.31 sec. (1865895.82 ticks, tree = 1417.69 MB, solutions = 5)
Nodefile size = 1290.32 MB (1037.74 MB after compression)
 113010 106096       50.0000   106       44.0000       61.5753  6467551   39.94%             x20 D 113010 113009     66
 113305 106371       49.6783   124       44.0000       61.5733  6481949   39.94%            x137 D 113305 113304     55
 113593 106639       47.9877   127       44.0000       61.5662  6497266   39.92%            x147 D 113593 113592     53
 113894 106920       50.0000   104       44.0000       61.5599  6511077   39.91%            x114 D 113894 113893     64
 114185 107191       54.6679   154       44.0000       61.5576  6525831   39.90%             x37 D 114185 114184     44
 114470 107456       56.2875   156       44.0000       61.5548  6540439   39.90%             x49 D 114470 114469     39
 114763 107729       54.7637   153       44.0000       61.5480  6555087   39.88%             x10 D 114763 114762     32
 115063 108009       57.5306   167       44.0000       61.5416  6570580   39.87%             x75 U 115063  16309     26
 115366 108296       45.5000    86       44.0000       61.5384  6584462   39.86%            x120 D 115366 115365     75
 115663 108569       57.1819   163       44.0000       61.5339  6600110   39.85%              x3 U 115663  17701     19
Elapsed time = 1491.90 sec. (1904164.99 ticks, tree = 1461.70 MB, solutions = 5)
Nodefile size = 1333.80 MB (1072.80 MB after compression)
 115962 108852       45.0606   107       44.0000       61.5321  6614401   39.85%             x10 D 115962 115961     75
 116256 109126       47.0000   104       44.0000       61.5277  6629489   39.84%            x201 D 116256 116255     87
 116545 109393       49.6904   132       44.0000       61.5235  6643910   39.83%             x80 D 116545 116544     61
 116838 109664       53.0000   141       44.0000       61.5225  6658413   39.82%            x141 D 116838 116837     41
 117137 109943       50.7821   129       44.0000       61.5176  6672374   39.81%            x164 D 117137 117136     53
 117432 110218       49.1758   126       44.0000       61.5140  6686533   39.80%              x1 D 117432 117431     61
 117732 110496       46.5000   113       44.0000       61.5081  6700755   39.79%            x108 D 117732 117731     63
 118024 110764       56.8141   163       44.0000       61.5033  6715804   39.78%            x112 D 118024 118023     25
 118318 111038       53.6570   141       44.0000       61.4968  6730834   39.77%            x105 D 118318 118317     41
 118620 111316       49.5391   128       44.0000       61.4909  6744669   39.75%             x54 D 118620 118619     64
Elapsed time = 1523.44 sec. (1942397.00 ticks, tree = 1509.37 MB, solutions = 5)
Nodefile size = 1382.13 MB (1112.03 MB after compression)
 118912 111586       53.3859   148       44.0000       61.4865  6759751   39.74%             x81 D 118912 118911     36
 119210 111862       56.4118   161       44.0000       61.4799  6773852   39.73%             x55 D 119210 119209     24
 119507 112135       55.0757   152       44.0000       61.4748  6788732   39.72%            x161 D 119507 119506     28
 119801 112409       55.4544   160       44.0000       61.4706  6802952   39.71%            x249 D 119801 119800     43
 120090 112678       55.9078   155       44.0000       61.4661  6818181   39.70%            x148 D 120090 120089     27
 120385 112951       56.0185   152       44.0000       61.4619  6832814   39.69%            x213 D 120385 120384     37
 120678 113228       45.0435   106       44.0000       61.4560  6847401   39.67%            x111 D 120678 120677     69
 120970 113496       55.8154   155       44.0000       61.4526  6862405   39.66%             x83 D 120970 120969     37
 121258 113764       51.1290   133       44.0000       61.4497  6877046   39.66%            x148 D 121258 121257     52
 121556 114042       50.4583   131       44.0000       61.4430  6891499   39.64%            x177 D 121556 121555     54
Elapsed time = 1554.93 sec. (1980637.67 ticks, tree = 1555.70 MB, solutions = 5)
Nodefile size = 1428.19 MB (1149.49 MB after compression)
 121855 114321       49.6000   121       44.0000       61.4410  6906071   39.64%            x206 D 121855 121854     61
 122153 114595       56.8383   163       44.0000       61.4353  6920730   39.63%             x79 U 122153   4007     17
 122445 114867       57.1970   165       44.0000       61.4328  6935395   39.62%             x36 D 122445 122444     32
 122738 115140       57.1853   169       44.0000       61.4280  6949655   39.61%             x94 D 122738 122737     36
 123037 115423       45.0000    98       44.0000       61.4244  6963994   39.60%             x47 D 123037 123036     77
 123336 115698       57.4252   163       44.0000       61.4196  6978613   39.59%            x205 D 123336 123335     23
 123635 115977       53.7209   144       44.0000       61.4148  6992902   39.58%             x43 D 123635 123634     43
 123936 116256       51.1130   138       44.0000       61.4094  7007154   39.57%             x57 D 123936 123935     55
 124226 116524       54.2527   147       44.0000       61.4065  7022580   39.56%            x217 D 124226 124225     42
 124516 116794       53.0970   149       44.0000       61.4006  7036491   39.55%            x128 D 124516 124515     80
Elapsed time = 1586.60 sec. (2018936.82 ticks, tree = 1599.24 MB, solutions = 5)
Nodefile size = 1472.22 MB (1185.03 MB after compression)
 124810 117068       49.9493   125       44.0000       61.3966  7051301   39.54%            x194 D 124810 124809     47
 125111 117345       55.0290   154       44.0000       61.3862  7065584   39.51%            x167 D 125111 125110     38
 125403 117617       57.9153   162       44.0000       61.3808  7080810   39.50%            x186 D 125403 125402     29
 125699 117897       45.8750   101       44.0000       61.3763  7094936   39.49%            x183 D 125699 125698     89
 125995 118169       56.4036   154       44.0000       61.3704  7110502   39.48%            x245 D 125995 125994     33
 126284 118438       54.9835   154       44.0000       61.3653  7125464   39.47%             x24 D 126284 126283     50
 126580 118712       50.2632   131       44.0000       61.3628  7139964   39.46%             x54 D 126580 126579     60
 126881 118993       49.5000    92       44.0000       61.3584  7154032   39.45%            x126 D 126881 126880     64
 127185 119275       49.2124   125       44.0000       61.3532  7167843   39.44%            x193 D 127185 127184     65
 127491 119561       47.7273   115       44.0000       61.3462  7181559   39.42%            x132 D 127491 127490     66
Elapsed time = 1618.45 sec. (2057141.56 ticks, tree = 1644.72 MB, solutions = 5)
Nodefile size = 1517.35 MB (1221.30 MB after compression)
 127783 119833       46.1667   117       44.0000       61.3432  7196469   39.42%             x14 D 127783 127782     50
 128078 120108       47.7500   100       44.0000       61.3412  7210640   39.41%            x120 D 128078 128077     71
 128372 120382       52.1389   139       44.0000       61.3390  7225223   39.41%             x92 D 128372 128371     68
 128670 120660       52.8365   144       44.0000       61.3333  7239548   39.39%            x105 D 128670 128669     52
 128964 120932       53.5176   140       44.0000       61.3289  7254023   39.38%             x44 D 128964 128963     35
 129262 121210       53.0581   144       44.0000       61.3262  7268142   39.38%             x86 D 129262 129261     46
 129566 121494       50.4940   132       44.0000       61.3202  7281908   39.36%            x142 D 129566 129565     82
 129856 121764       48.7647   120       44.0000       61.3174  7296583   39.36%            x213 D 129856 129855     60
 130151 122039       46.5000   109       44.0000       61.3099  7311311   39.34%            x246 D 130151 130150     69
 130447 122311       58.2396   170       44.0000       61.3045  7325388   39.33%            x233 U 130447  11535     30
Elapsed time = 1649.87 sec. (2095360.61 ticks, tree = 1689.63 MB, solutions = 5)
Nodefile size = 1562.24 MB (1257.10 MB after compression)
 130748 122592       56.0474   154       44.0000       61.3001  7339617   39.32%            x172 D 130748 130747     28
 131033 122857       53.3403   147       44.0000       61.2933  7353890   39.30%             x86 D 131033 131032     43
 131330 123134       51.3299   134       44.0000       61.2886  7368369   39.29%              x6 D 131330 131329     68
 131627 123411       49.0317   120       44.0000       61.2853  7382157   39.28%            x146 D 131627 131626     60
 131924 123688       47.4000   121       44.0000       61.2814  7396328   39.28%              x8 D 131924 131923     73
 132224 123964       57.0089   158       44.0000       61.2748  7411037   39.26%            x157 U 132224   6663     20
 132510 124234       45.4573   118       44.0000       61.2737  7425019   39.26%              x4 D 132510 132509     91
 132807 124507       55.3303   152       44.0000       61.2693  7439948   39.25%            x138 D 132807 132806     37
 133108 124788       50.7835   133       44.0000       61.2671  7453998   39.24%            x126 D 133108 133107     63
 133401 125061       48.1497   127       44.0000       61.2653  7467985   39.24%            x175 D 133401 133400     61
Elapsed time = 1681.54 sec. (2133615.37 ticks, tree = 1736.02 MB, solutions = 5)
Nodefile size = 1608.89 MB (1294.84 MB after compression)
 133688 125326       50.4000   133       44.0000       61.2634  7482635   39.23%            x128 D 133688 133687     71
 133984 125602       47.2259   117       44.0000       61.2590  7496868   39.23%             x43 D 133984 133983     62
 134276 125874       48.8571   125       44.0000       61.2559  7511719   39.22%            x121 D 134276 134275     84
 134569 126143       54.8050   156       44.0000       61.2520  7526315   39.21%              x0 D 134569 134568     30
 134865 126419       51.9338   125       44.0000       61.2480  7540951   39.20%             x27 D 134865 134864     40
 135160 126694       47.1094   120       44.0000       61.2445  7556040   39.19%             x74 D 135160 135159     74
 135455 126969       48.5000    94       44.0000       61.2416  7570467   39.19%            x111 D 135455 135454     75
 135750 127244       49.5355   123       44.0000       61.2396  7584290   39.18%            x207 D 135750 135749     50
 136048 127522       46.5000    90       44.0000       61.2325  7598543   39.16%            x149 D 136048 136047     95
 136338 127788       55.0752   157       44.0000       61.2255  7613569   39.15%            x161 D 136338 136337     26
Elapsed time = 1712.92 sec. (2171834.87 ticks, tree = 1782.10 MB, solutions = 5)
Nodefile size = 1654.22 MB (1331.59 MB after compression)
 136636 128064       55.3437   153       44.0000       61.2240  7627301   39.15%            x106 D 136636 136635     37
 136936 128344       52.6346   143       44.0000       61.2200  7641597   39.14%            x111 D 136936 136935     38
 137236 128622       52.1719   131       44.0000       61.2168  7656153   39.13%            x237 D 137236 137235     55
 137545 128907       55.6953   163       44.0000       61.2112  7670201   39.12%             x24 U 137545  12761     28
 137828 129170       53.2061   145       44.0000       61.2069  7685337   39.11%             x12 D 137828 137827     33
 138122 129444       45.9091   108       44.0000       61.1979  7699936   39.09%             x61 D 138122 138121     69
 138408 129706       54.6374   153       44.0000       61.1958  7714943   39.08%             x30 D 138408 138407     46
 138704 129980       54.5167   146       44.0000       61.1931  7729782   39.08%            x215 D 138704 138703     36
 139007 130263       49.5668   124       44.0000       61.1867  7743846   39.06%            x122 D 139007 139006     66
 139302 130538       49.2692   118       44.0000       61.1854  7758383   39.06%            x163 D 139302 139301     68
Elapsed time = 1744.40 sec. (2210095.19 ticks, tree = 1828.72 MB, solutions = 5)
Nodefile size = 1701.50 MB (1369.70 MB after compression)
 139595 130811       48.3750   100       44.0000       61.1825  7773408   39.05%            x147 D 139595 139594     60
 139899 131095       46.6923   115       44.0000       61.1775  7787172   39.04%            x225 D 139899 139898     91
 140199 131371       56.2084   157       44.0000       61.1701  7801154   39.02%            x172 D 140199 140198     15
 140497 131649       49.5000   114       44.0000       61.1672  7815799   39.02%            x176 D 140497 140496     58
 140794 131926       47.9583   115       44.0000       61.1635  7830490   39.01%            x207 D 140794 140793     58
 141084 132196       50.8267   131       44.0000       61.1616  7845177   39.00%             x42 D 141084 141083     58
 141388 132478       48.6107   117       44.0000       61.1577  7859290   38.99%            x154 D 141388 141387     74
 141677 132743       57.0399   162       44.0000       61.1525  7874189   38.98%            x233 U 141677   8405     29
 141974 133020       51.7500   110       44.0000       61.1488  7888486   38.97%              x6 D 141974 141973     54
 142272 133298       50.6825   129       44.0000       61.1416  7902035   38.96%            x235 D 142272 142271     50
Elapsed time = 1775.85 sec. (2248284.52 ticks, tree = 1874.21 MB, solutions = 5)
Nodefile size = 1747.18 MB (1406.07 MB after compression)
 142570 133576       51.0000   138       44.0000       61.1369  7915999   38.95%             x32 D 142570 142569     95
 142870 133854       48.7500   104       44.0000       61.1301  7930471   38.93%             x83 D 142870 142869     63
 143167 134131       49.7917   131       44.0000       61.1278  7944779   38.93%             x14 D 143167 143166     77
 143463 134403       57.9244   170       44.0000       61.1235  7959213   38.92%             x94 U 143463  10557     11
 143756 134678       45.5000    83       44.0000       61.1171  7973359   38.90%            x133 D 143756 143755     68
 144052 134950       55.9226   153       44.0000       61.1150  7988202   38.90%             x33 D 144052 144051     26
 144348 135226       53.3941   149       44.0000       61.1103  8002874   38.89%             x16 D 144348 144347     32
 144638 135500       45.8444   113       44.0000       61.1082  8016914   38.88%            x120 D 144638 144637     93
 144932 135770       54.1773   143       44.0000       61.0999  8031202   38.86%            x171 D 144932 144931     38
 145234 136052       51.4206   123       44.0000       61.0984  8045042   38.86%             x80 D 145234 145233     50
Elapsed time = 1807.53 sec. (2286528.65 ticks, tree = 1922.16 MB, solutions = 5)
Nodefile size = 1794.67 MB (1444.50 MB after compression)
 145533 136329       46.2500    95       44.0000       61.0953  8059327   38.85%            x129 D 145533 145532     80
 145830 136598       55.1324   158       44.0000       61.0913  8074100   38.84%             x50 D 145830 145829     34
 146130 136878       51.9636   140       44.0000       61.0882  8088005   38.84%            x164 D 146130 146129     41
 146422 137150       51.4299   136       44.0000       61.0828  8102497   38.82%            x213 D 146422 146421     52
 146728 137436       47.8125   109       44.0000       61.0809  8116397   38.82%            x173 D 146728 146727     64
 147024 137712       46.9722   114       44.0000       61.0780  8130989   38.81%              x5 D 147024 147023     84
 147313 137981       46.5000    90       44.0000       61.0729  8145746   38.80%            x149 D 147313 147312     56
 147609 138249       57.7830   170       44.0000       61.0662  8160478   38.79%            x232 U 147609  15266     39
 147900 138520       55.8542   156       44.0000       61.0624  8175380   38.78%            x140 D 147900 147899     24
 148193 138793       50.3472   124       44.0000       61.0598  8189590   38.77%             x76 D 148193 148192     57
Elapsed time = 1839.15 sec. (2324797.66 ticks, tree = 1967.08 MB, solutions = 5)
Nodefile size = 1839.20 MB (1480.18 MB after compression)
 148484 139064       51.2748   137       44.0000       61.0563  8203008   38.76%            x204 D 148484 148483     45
 148789 139349       45.0000    82       44.0000       61.0522  8217241   38.75%             x34 D 148789 148788     67
 149080 139616       52.0789   139       44.0000       61.0498  8231979   38.75%              x4 D 149080 149079     40
 149382 139896       50.3784   140       44.0000       61.0461  8245823   38.74%            x247 D 149382 149381     59
 149676 140170       51.2088   133       44.0000       61.0438  8260271   38.74%             x91 D 149676 149675     56
 149974 140448       47.5000    89       44.0000       61.0404  8274705   38.73%              x9 D 149974 149973     58
 150268 140718       55.0116   152       44.0000       61.0367  8289579   38.72%            x175 D 150268 150267     36
 150570 141000       47.0100   122       44.0000       61.0320  8303537   38.71%            x104 D 150570 150569     63
 150872 141278       47.5000    87       44.0000       61.0261  8317633   38.70%              x7 D 150872 150871     57
 151162 141548       49.5833   114       44.0000       61.0237  8332482   38.69%            x163 D 151162 151161     63
Elapsed time = 1870.74 sec. (2363017.74 ticks, tree = 2012.31 MB, solutions = 5)
Nodefile size = 1884.97 MB (1516.86 MB after compression)
 151460 141822       57.4514   164       44.0000       61.0216  8347241   38.69%            x180 D 151460 151459     23
 151754 142096       58.2863   170       44.0000       61.0180  8361681   38.68%             x52 U 151754  15829     19
 152048 142368       53.2500   122       44.0000       61.0146  8376218   38.67%            x191 D 152048 152047     49
 152339 142639       47.1171   121       44.0000       61.0107  8391312   38.66%             x12 D 152339 152338     68
 152632 142912       45.6134   108       44.0000       61.0083  8406008   38.66%            x195 D 152632 152631     93
 152930 143186       51.3459   136       44.0000       61.0048  8420503   38.65%            x184 D 152930 152929     53
 153232 143462       56.3668   164       44.0000       61.0019  8435082   38.64%            x232 D 153232 153231     50
 153525 143735       50.0505   128       44.0000       61.0000  8449968   38.64%            x143 D 153525 153524     54
 153816 144002       56.9239   164       44.0000       60.9965  8464906   38.63%            x127 U 153816  12109     24
 154113 144277       54.9692   158       44.0000       60.9934  8479860   38.62%             x50 D 154113 154112     50
Elapsed time = 1902.37 sec. (2401272.97 ticks, tree = 2055.13 MB, solutions = 5)
Nodefile size = 1928.03 MB (1551.11 MB after compression)
 154402 144542       52.9559   142       44.0000       60.9877  8494542   38.61%            x187 D 154402 154401     44
 154703 144823       54.3385   151       44.0000       60.9823  8508927   38.60%            x194 D 154703 154702     42
 154996 145092       57.4623   165       44.0000       60.9804  8523803   38.59%             x17 D 154996 154995     21
 155292 145368       51.6592   137       44.0000       60.9720  8538521   38.57%             x24 D 155292 155291     46
 155586 145642       49.1635   132       44.0000       60.9693  8553189   38.57%              x2 D 155586 155585     66
 155885 145921       51.5000   115       44.0000       60.9664  8567221   38.56%            x205 D 155885 155884     79
 156186 146198       56.5375   162       44.0000       60.9587  8581331   38.54%            x130 D 156186 156185     20
 156490 146482       55.3224   146       44.0000       60.9574  8595111   38.54%            x136 D 156490 156489     34
 156795 146767       45.5000   112       44.0000       60.9550  8609519   38.53%              x2 D 156795 156794     86
 157093 147045       47.9421   121       44.0000       60.9528  8623730   38.53%            x133 D 157093 157092     67
Elapsed time = 1933.69 sec. (2439484.32 ticks, tree = 2100.54 MB, solutions = 5)
Nodefile size = 1973.12 MB (1587.22 MB after compression)
 157388 147314       56.8761   162       44.0000       60.9467  8638612   38.52%              x9 D 157388 157387     31
 157691 147597       51.2102   137       44.0000       60.9439  8652529   38.51%            x124 D 157691 157690     48
 157984 147870       49.4074   124       44.0000       60.9405  8667625   38.50%            x103 D 157984 157983     57
 158282 148144       56.9726   158       44.0000       60.9329  8682052   38.48%             x23 D 158282 158281     19
 158570 148412       55.4967   154       44.0000       60.9283  8696735   38.47%            x202 D 158570 158569     41
 158869 148691       49.8514   130       44.0000       60.9261  8710529   38.47%             x97 D 158869 158868     44
 159167 148969       48.1001   118       44.0000       60.9226  8725137   38.46%            x183 D 159167 159166     46
 159468 149246       56.4159   162       44.0000       60.9187  8739422   38.45%            x113 U 159468  25194     26
 159761 149519       52.5119   128       44.0000       60.9114  8754041   38.43%            x139 D 159761 159760     33
 160065 149799       55.2568   154       44.0000       60.9085  8768464   38.43%             x96 D 160065 160064     55
Elapsed time = 1965.09 sec. (2477744.63 ticks, tree = 2143.72 MB, solutions = 5)
Nodefile size = 2015.74 MB (1621.38 MB after compression)
 160360 150074       49.0781   127       44.0000       60.9036  8783117   38.42%            x242 D 160360 160359     76
 160661 150351       56.4782   156       44.0000       60.8990  8797006   38.41%            x114 D 160661 160660     30
 160966 150636       49.5154   127       44.0000       60.8894  8810891   38.38%            x152 D 160966 160965     39
 161269 150917        cutoff             44.0000       60.8855  8825435   38.38%             x74 N 161269 161268     76
 161562 151188       53.3241   150       44.0000       60.8816  8840014   38.37%            x128 D 161562 161561     42
 161860 151466       50.1250   125       44.0000       60.8797  8854349   38.36%             x43 D 161860 161859     74
 162160 151746       45.6250    98       44.0000       60.8771  8867886   38.36%            x186 D 162160 162159     70
 162444 152004        cutoff             44.0000       60.8736  8882816   38.35%              x0 D 162444 162443     79
 162745 152283       53.4435   146       44.0000       60.8697  8897003   38.34%             x35 D 162745 162744     34
 163041 152559       51.0898   130       44.0000       60.8675  8911289   38.34%             x57 D 163041 163040     55
Elapsed time = 1996.69 sec. (2515921.10 ticks, tree = 2189.75 MB, solutions = 5)
Nodefile size = 2062.50 MB (1658.73 MB after compression)
 163334 152832       48.5200   115       44.0000       60.8642  8925874   38.33%              x4 D 163334 163333     64
 163635 153109       55.7228   151       44.0000       60.8623  8939998   38.32%             x34 D 163635 163634     34
 163936 153390       52.4585   139       44.0000       60.8567  8954168   38.31%            x196 D 163936 163935     54
 164230 153664       52.9146   142       44.0000       60.8536  8969044   38.30%            x102 D 164230 164229     54
 164534 153948       47.6478   122       44.0000       60.8518  8982563   38.30%             x58 D 164534 164533     80
 164832 154222       54.2879   151       44.0000       60.8486  8997168   38.29%            x238 D 164832 164831     28
 165135 154503       51.6224   142       44.0000       60.8459  9011085   38.29%            x156 D 165135 165134     75
 165435 154779       55.9028   141       44.0000       60.8442  9025784   38.28%            x134 D 165435 165434     26
 165735 155059       51.0265   133       44.0000       60.8424  9039727   38.28%            x232 D 165735 165734     56
 166026 155326       56.8824   161       44.0000       60.8371  9056510   38.27%             x46 U 166026  14299     20
Elapsed time = 2028.33 sec. (2554169.79 ticks, tree = 2239.19 MB, solutions = 5)
Nodefile size = 2111.44 MB (1698.54 MB after compression)
 166320 155600       50.9400   122       44.0000       60.8346  9071219   38.26%            x135 D 166320 166319     64
 166626 155880       57.6908   165       44.0000       60.8300  9085692   38.25%            x209 U 166626  25349     22
 166921 156155       54.9827   154       44.0000       60.8260  9099626   38.24%             x13 D 166921 166920     34
 167221 156433       56.3480   154       44.0000       60.8236  9114273   38.24%            x189 D 167221 167220     33
 167514 156706       55.8733   158       44.0000       60.8213  9129061   38.23%             x76 D 167514 167513     38
 167811 156983       51.0392   140       44.0000       60.8202  9143091   38.23%            x132 D 167811 167810     49
 168107 157255       57.3485   166       44.0000       60.8165  9157519   38.22%            x144 U 168107    286     42
 168400 157528       54.9882   145       44.0000       60.8107  9171326   38.21%            x238 D 168400 168399     25
 168710 157818       47.5000    94       44.0000       60.8082  9184712   38.20%            x213 D 168710 168709     67
 169009 158093       51.8630   136       44.0000       60.8059  9199353   38.20%            x188 D 169009 169008     51
Elapsed time = 2059.81 sec. (2592428.24 ticks, tree = 2286.82 MB, solutions = 5)
Nodefile size = 2159.40 MB (1737.10 MB after compression)
 169311 158371       55.1187   154       44.0000       60.8038  9213460   38.19%             x82 D 169311 169310     37
 169610 158650       50.2135   132       44.0000       60.8024  9227694   38.19%            x147 D 169610 169609     54
 169910 158926       56.8081   167       44.0000       60.8014  9242440   38.19%             x58 U 169910   1839     30
 170212 159208       52.0291   143       44.0000       60.7946  9256522   38.17%            x103 D 170212 170211     51
 170506 159482       52.0227   133       44.0000       60.7893  9270903   38.16%            x214 D 170506 170505     61
 170813 159765       55.3338   159       44.0000       60.7859  9285385   38.15%            x223 U 170813  23217     31
 171106 160038       52.4355   143       44.0000       60.7848  9300192   38.15%            x225 D 171106 171105     37
 171409 160315       57.4693   169       44.0000       60.7791  9314263   38.13%             x52 U 171409   7578     14
 171706 160592       53.0219   142       44.0000       60.7754  9328281   38.13%             x44 D 171706 171705     46
 172008 160870       57.6834   166       44.0000       60.7740  9343527   38.12%            x240 U 172008  15830     20
Elapsed time = 2091.41 sec. (2630769.85 ticks, tree = 2332.48 MB, solutions = 5)
Nodefile size = 2204.54 MB (1773.42 MB after compression)
 172302 161144       50.6917   128       44.0000       60.7680  9358605   38.11%             x36 D 172302 172301     55
 172613 161431       57.5808   160       44.0000       60.7646  9372822   38.10%            x114 U 172613   6665     22
 172910 161708       51.1050   135       44.0000       60.7597  9387141   38.09%             x16 D 172910 172909     46
 173205 161983       46.2245   118       44.0000       60.7566  9401830   38.08%             x28 D 173205 173204     62
 173500 162254       51.1008   133       44.0000       60.7518  9417083   38.07%            x121 D 173500 173499     47
 173802 162536       46.5000    87       44.0000       60.7496  9431236   38.07%              x5 D 173802 173801     89
 174094 162804       53.7313   146       44.0000       60.7444  9446145   38.06%             x89 D 174094 174093     37
 174394 163080       55.8960   160       44.0000       60.7400  9460699   38.05%            x229 D 174394 174393     22
 174696 163362       54.8361   151       44.0000       60.7357  9474585   38.04%             x41 D 174696 174695     46
 174987 163633       50.5257   133       44.0000       60.7330  9489178   38.03%            x225 D 174987 174986     55
Elapsed time = 2122.92 sec. (2669057.30 ticks, tree = 2379.86 MB, solutions = 5)
Nodefile size = 2252.42 MB (1811.96 MB after compression)
 175294 163916        cutoff             44.0000       60.7294  9502794   38.02%            x142 U 175294 175292     70
 175584 164186       51.8143   138       44.0000       60.7250  9518187   38.01%            x170 D 175584 175583     36
 175893 164471       55.4588   151       44.0000       60.7219  9531677   38.00%             x50 D 175893 175892     39
 176198 164756       50.7559   134       44.0000       60.7176  9545438   37.99%            x199 D 176198 176197     53
 176490 165028       48.2056   126       44.0000       60.7149  9559514   37.99%            x114 D 176490 176489     71
 176789 165303       53.3917   142       44.0000       60.7124  9573928   37.98%            x164 D 176789 176788     41
 177091 165585       49.9635   131       44.0000       60.7065  9587787   37.97%            x108 D 177091 177090     55
 177292 165774       45.5000    83       44.0000       60.7049  9596966   37.97%             x47 D 177292 177291     79
 177356 165830       56.1805   160       44.0000       60.7046  9600515   37.96%             x87 D 177356 177355     24
 177416 165886       55.5720   155       44.0000       60.7037  9603588   37.96%            x247 D 177416 177415     39
Elapsed time = 2152.25 sec. (2707479.90 ticks, tree = 2413.25 MB, solutions = 5)
Nodefile size = 2285.55 MB (1838.10 MB after compression)
 177476 165942       52.2017   135       44.0000       60.7035  9606569   37.96%            x177 D 177476 177475     46
 177538 166000       49.8158   124       44.0000       60.7026  9609598   37.96%            x240 D 177538 177537     58
 177598 166056       47.8500   105       44.0000       60.7024  9612060   37.96%            x175 D 177598 177597     50
 177658 166112       45.3571    98       44.0000       60.7018  9614744   37.96%            x155 D 177658 177657     78
 177720 166166       56.8715   157       44.0000       60.7001  9617687   37.95%            x184 D 177720 177719     28
 177781 166223       53.7515   149       44.0000       60.6995  9621104   37.95%            x168 D 177781 177780     46
 177840 166278       53.3435   143       44.0000       60.6994  9623643   37.95%            x150 D 177840 177839     30
 177902 166336       52.6474   141       44.0000       60.6990  9626711   37.95%             x69 D 177902 177901     49
 177962 166392       53.4300   152       44.0000       60.6982  9629178   37.95%            x154 D 177962 177961     58
 178022 166448       53.7588   148       44.0000       60.6982  9631910   37.95%             x16 D 178022 178021     41
Elapsed time = 2174.88 sec. (2746251.22 ticks, tree = 2423.09 MB, solutions = 5)
Nodefile size = 2295.93 MB (1846.32 MB after compression)
 178084 166506       52.8502   133       44.0000       60.6981  9635278   37.95%             x29 D 178084 178083     47
 178145 166563       50.7086   132       44.0000       60.6974  9637903   37.95%            x215 D 178145 178144     44
 178200 166614       52.1618   139       44.0000       60.6963  9640548   37.95%            x193 D 178200 178199     54
 178260 166670       51.5882   124       44.0000       60.6950  9643559   37.94%            x215 D 178260 178259     39
 178320 166726       49.7080   127       44.0000       60.6949  9646375   37.94%             x11 D 178320 178319     52
 178378 166780       49.5660   124       44.0000       60.6933  9648801   37.94%             x28 D 178378 178377     65
 178438 166836       48.0000    87       44.0000       60.6918  9651223   37.94%             x40 D 178438 178437     55
 178496 166890       46.5000    86       44.0000       60.6918  9653863   37.94%            x159 D 178496 178495     70
 178556 166946       45.5000    85       44.0000       60.6904  9656251   37.93%              x7 D 178556 178555     79
 178618 167000       55.4433   157       44.0000       60.6877  9660069   37.93%            x122 D 178618 178617     27
Elapsed time = 2197.38 sec. (2784814.44 ticks, tree = 2431.80 MB, solutions = 5)
Nodefile size = 2304.67 MB (1853.25 MB after compression)
 178678 167056       56.4771   153       44.0000       60.6867  9662671   37.92%             x19 D 178678 178677     23
 178738 167112       55.3436   155       44.0000       60.6848  9665444   37.92%            x215 D 178738 178737     39
 178798 167168       54.7176   150       44.0000       60.6833  9668010   37.92%             x49 D 178798 178797     57
 178858 167224       53.6032   138       44.0000       60.6833  9670289   37.92%             x76 D 178858 178857     28
 178920 167280       50.6667   120       44.0000       60.6821  9672984   37.91%            x102 D 178920 178919     70
 178978 167334       49.9689   132       44.0000       60.6813  9675913   37.91%            x241 D 178978 178977     57
 179040 167392       47.0000   103       44.0000       60.6810  9679171   37.91%             x31 D 179040 179039     68
 179100 167448       48.2500   109       44.0000       60.6807  9681595   37.91%             x79 D 179100 179099     65
 179162 167506       46.8000   114       44.0000       60.6798  9684577   37.91%            x169 D 179162 179161     71
 179223 167563       45.2500    84       44.0000       60.6776  9686942   37.90%              x1 D 179223 179222     70
Elapsed time = 2220.05 sec. (2823773.77 ticks, tree = 2439.20 MB, solutions = 5)
Nodefile size = 2312.10 MB (1859.07 MB after compression)
 179286 167618       56.0585   160       44.0000       60.6767  9690676   37.90%             x99 U 179286  19765     26
 179348 167676       56.6410   156       44.0000       60.6766  9693024   37.90%            x228 D 179348 179347     16
 179410 167734       54.4770   148       44.0000       60.6764  9695675   37.90%            x152 D 179410 179409     33
 179470 167790       52.2156   146       44.0000       60.6762  9698767   37.90%            x240 D 179470 179469     57
 179532 167848       52.0114   133       44.0000       60.6757  9701893   37.90%            x133 D 179532 179531     51
 179594 167906       49.8065   134       44.0000       60.6741  9704981   37.90%            x167 D 179594 179593     59
 179652 167960       49.4000   120       44.0000       60.6739  9707476   37.90%            x221 D 179652 179651     73
 179712 168016       48.6000   113       44.0000       60.6737  9710341   37.89%             x72 D 179712 179711     56
 179774 168074       45.6750   110       44.0000       60.6721  9712844   37.89%             x87 D 179774 179773     66
 179834 168130       45.6250   106       44.0000       60.6719  9716183   37.89%             x10 D 179834 179833     72
Elapsed time = 2242.83 sec. (2862582.95 ticks, tree = 2449.36 MB, solutions = 5)
Nodefile size = 2321.82 MB (1866.78 MB after compression)
 179898 168186       58.4502   168       44.0000       60.6717  9719235   37.89%            x233 U 179898  22234     22
 179958 168242       56.7096   165       44.0000       60.6711  9722730   37.89%             x30 U 179958   8830     45
 180018 168298       55.6780   162       44.0000       60.6701  9726008   37.89%            x233 D 180018 180017     53
 180078 168354       55.9619   154       44.0000       60.6695  9728925   37.89%            x125 D 180078 180077     36
 180138 168408       53.8363   144       44.0000       60.6695  9731219   37.89%            x240 D 180138 180137     31
 180198 168464       51.2315   137       44.0000       60.6660  9734389   37.88%            x242 D 180198 180197     48
 180258 168520       49.8125   129       44.0000       60.6655  9737360   37.88%            x245 D 180258 180257     72
 180320 168578       48.5952   117       44.0000       60.6655  9740571   37.88%            x178 D 180320 180319     48
 180382 168636       48.9308   121       44.0000       60.6638  9743234   37.87%            x139 D 180382 180381     65
 180442 168692       48.3214   115       44.0000       60.6633  9745804   37.87%             x53 D 180442 180441     67
Elapsed time = 2265.67 sec. (2901413.11 ticks, tree = 2459.54 MB, solutions = 5)
Nodefile size = 2331.70 MB (1874.94 MB after compression)
 180504 168750       47.0000    89       44.0000       60.6622  9748921   37.87%              x9 D 180504 180503     68
 180563 168803       46.7500    96       44.0000       60.6621  9751675   37.87%              x7 D 180563 180562     71
 180622 168858       47.6304   112       44.0000       60.6617  9754543   37.87%             x37 D 180622 180621     74
 180682 168914       45.3000   106       44.0000       60.6616  9757596   37.87%            x109 D 180682 180681     68
 180746 168970       56.5750   137       44.0000       60.6602  9761091   37.86%            x111 D 180746 180745     27
 180806 169026       55.4433   152       44.0000       60.6594  9763410   37.86%            x133 D 180806 180805     48
 180864 169080       53.1170   142       44.0000       60.6592  9766405   37.86%             x35 D 180864 180863     43
 180926 169138       52.4545   141       44.0000       60.6590  9769368   37.86%             x14 D 180926 180925     50
 180988 169196       52.5582   137       44.0000       60.6587  9771946   37.86%            x162 D 180988 180987     53
 181050 169254       50.0046   122       44.0000       60.6586  9774055   37.86%             x50 D 181050 181049     50
Elapsed time = 2288.32 sec. (2940218.34 ticks, tree = 2469.85 MB, solutions = 5)
Nodefile size = 2342.51 MB (1883.63 MB after compression)
 181110 169310       46.3333   104       44.0000       60.6582  9776923   37.86%             x37 D 181110 181109     58
 181174 169366       57.1986   165       44.0000       60.6572  9779779   37.86%            x126 D 181174 181173     15
 181237 169425       54.7040   154       44.0000       60.6571  9782934   37.86%            x214 D 181237 181236     23
 181296 169480       52.6364   144       44.0000       60.6569  9786041   37.86%            x101 D 181296 181295     60
 181356 169536       52.0324   140       44.0000       60.6565  9789417   37.86%             x87 D 181356 181355     49
 181416 169592       50.5000   117       44.0000       60.6561  9791972   37.85%             x15 D 181416 181415     50
 181476 169644       57.9650   169       44.0000       60.6555  9794832   37.85%             x34 U 181476   9751     17
 181534 169702       46.5000   100       44.0000       60.6555  9797503   37.85%            x101 D 181534 181533     75
 181594 169758       45.2500    87       44.0000       60.6541  9800325   37.85%             x20 D 181594 181593     82
 181654 169810       57.0933   160       44.0000       60.6533  9803474   37.85%             x99 D 181654 181653     39
Elapsed time = 2311.11 sec. (2978882.69 ticks, tree = 2478.42 MB, solutions = 5)
Nodefile size = 2350.96 MB (1890.34 MB after compression)
 181714 169866       57.2243   162       44.0000       60.6523  9806210   37.85%            x187 D 181714 181713     29
 181774 169922       55.9904   158       44.0000       60.6522  9809274   37.85%            x114 D 181774 181773     25
 181836 169980       53.4023   146       44.0000       60.6503  9812115   37.84%            x249 D 181836 181835     30
 181898 170038       52.0021   135       44.0000       60.6495  9814704   37.84%             x57 D 181898 181897     38
 181958 170094       49.9630   129       44.0000       60.6495  9817816   37.84%             x61 D 181958 181957     56
 182016 170148       50.5615   139       44.0000       60.6492  9820565   37.84%            x170 D 182016 182015     66
 182078 170206       49.7706   122       44.0000       60.6485  9823243   37.84%             x86 D 182078 182077     56
 182136 170260       49.3842   121       44.0000       60.6480  9826062   37.84%            x116 D 182136 182135     66
 182196 170316       46.0000   113       44.0000       60.6477  9828874   37.84%             x33 D 182196 182195     89
 182258 170374       45.5000    86       44.0000       60.6474  9831918   37.83%              x5 D 182258 182257     79
Elapsed time = 2333.91 sec. (3017864.02 ticks, tree = 2487.28 MB, solutions = 5)
Nodefile size = 2359.33 MB (1896.82 MB after compression)
 182321 170429       52.8838   147       44.0000       60.6470  9835672   37.83%            x210 D 182321 182320     39
 182382 170486       52.0930   135       44.0000       60.6470  9838782   37.83%            x221 D 182382 182381     59
 182444 170544       53.4766   145       44.0000       60.6463  9841369   37.83%             x32 D 182444 182443     48
 182506 170602       50.2365   130       44.0000       60.6459  9844613   37.83%             x67 D 182506 182505     48
 182568 170660       50.5000    94       44.0000       60.6457  9847015   37.83%            x131 D 182568 182567     59
 182634 170718       48.7857   118       44.0000       60.6457  9849722   37.83%            x137 D 182634 182633     75
 182694 170774       48.7419   119       44.0000       60.6448  9852790   37.83%             x15 D 182694 182693     71
 182754 170830       47.7500    88       44.0000       60.6448  9855036   37.83%            x206 D 182754 182753     50
 182814 170886       47.2500   102       44.0000       60.6444  9858384   37.83%              x3 D 182814 182813     79
 182876 170940       55.1971   153       44.0000       60.6441  9861348   37.83%            x212 D 182876 182875     30
Elapsed time = 2356.88 sec. (3056886.95 ticks, tree = 2496.04 MB, solutions = 5)
Nodefile size = 2368.68 MB (1904.22 MB after compression)
 182938 170998       53.3298   147       44.0000       60.6440  9863960   37.83%             x34 D 182938 182937     45
 182998 171054       53.1122   148       44.0000       60.6438  9867197   37.83%            x112 D 182998 182997     83
 183058 171110       51.6614   138       44.0000       60.6418  9870090   37.82%             x20 D 183058 183057     55
 183118 171166       51.5679   139       44.0000       60.6407  9873268   37.82%            x150 D 183118 183117     40
 183180 171224       51.4496   135       44.0000       60.6402  9876175   37.82%             x26 D 183180 183179     55
 183242 171282       49.4706   126       44.0000       60.6396  9878916   37.82%            x235 D 183242 183241     47
 183302 171338       47.0000    89       44.0000       60.6370  9881732   37.81%            x142 D 183302 183301     71
 183365 171391       57.6728   166       44.0000       60.6365  9884378   37.81%             x40 U 183365  12451     30
 183424 171446       58.6609   163       44.0000       60.6364  9886977   37.81%              x2 D 183424 183423     11
 183486 171504       56.0057   142       44.0000       60.6364  9890442   37.81%            x113 D 183486 183485     30
Elapsed time = 2379.48 sec. (3095580.97 ticks, tree = 2504.73 MB, solutions = 5)
Nodefile size = 2377.55 MB (1911.46 MB after compression)
 183546 171560       53.5385   136       44.0000       60.6358  9892763   37.81%             x93 D 183546 183545     29
 183604 171614       51.2112   130       44.0000       60.6355  9895778   37.81%            x144 D 183604 183603     58
 183664 171670       51.2811   138       44.0000       60.6352  9898582   37.81%            x117 D 183664 183663     55
 183726 171728       48.5309   124       44.0000       60.6347  9901678   37.81%             x76 D 183726 183725     78
 183788 171786       46.3750   110       44.0000       60.6344  9904321   37.81%            x169 D 183788 183787     72
 183850 171840       53.6185   150       44.0000       60.6315  9908173   37.80%            x211 D 183850 183849     28
 183908 171894       53.7944   147       44.0000       60.6305  9911091   37.80%             x98 D 183908 183907     39
 183968 171950       51.0184   132       44.0000       60.6299  9914271   37.80%            x113 D 183968 183967     39
 184026 172004       50.7500   102       44.0000       60.6292  9916875   37.79%              x8 D 184026 184025     60
 184086 172060       47.9147   126       44.0000       60.6291  9920037   37.79%             x75 D 184086 184085     65
Elapsed time = 2402.19 sec. (3134283.62 ticks, tree = 2513.55 MB, solutions = 5)
Nodefile size = 2386.43 MB (1918.43 MB after compression)
 184148 172118       46.9746   123       44.0000       60.6291  9923037   37.79%             x30 D 184148 184147     87
 184208 172170       57.1836   170       44.0000       60.6285  9926347   37.79%            x126 U 184208    828     33
 184269 172227       54.0455   149       44.0000       60.6270  9929432   37.79%            x219 D 184269 184268     31
 184328 172282       51.1587   134       44.0000       60.6270  9932366   37.79%            x215 D 184328 184327     39
 184388 172338       49.9783   131       44.0000       60.6269  9935213   37.79%            x154 D 184388 184387     53
 184448 172394       51.3750   111       44.0000       60.6250  9937669   37.78%             x71 D 184448 184447     61
 184506 172448       48.5337   120       44.0000       60.6249  9940424   37.78%             x70 D 184506 184505     53
 184566 172504       47.5000    89       44.0000       60.6228  9943100   37.78%             x16 D 184566 184565     65
 184628 172562       45.1747   111       44.0000       60.6228  9946572   37.78%             x70 D 184628 184627     78
 184692 172618       55.2578   155       44.0000       60.6199  9949602   37.77%             x33 D 184692 184691     35
Elapsed time = 2424.88 sec. (3172947.84 ticks, tree = 2523.66 MB, solutions = 5)
Nodefile size = 2395.90 MB (1926.14 MB after compression)
 184754 172676       51.4559   129       44.0000       60.6195  9952603   37.77%             x88 D 184754 184753     37
 184814 172732       49.8788   129       44.0000       60.6194  9955342   37.77%            x102 D 184814 184813     59
 184874 172788       48.0000    91       44.0000       60.6190  9958216   37.77%              x3 D 184874 184873     66
 184936 172846       47.0000    88       44.0000       60.6180  9960763   37.77%             x16 D 184936 184935     68
 184998 172904       45.7333   108       44.0000       60.6175  9963621   37.77%            x115 D 184998 184997     73
 185060 172958       56.4367   160       44.0000       60.6157  9967925   37.76%             x54 D 185060 185059     22
 185122 173014       54.4577   155       44.0000       60.6143  9971295   37.76%             x55 D 185122 185121     30
 185182 173070       53.9882   153       44.0000       60.6139  9974128   37.76%            x144 D 185182 185181     27
 185244 173128       51.8387   123       44.0000       60.6137  9977238   37.76%             x63 D 185244 185243     40
 185308 173188       48.6667   121       44.0000       60.6092  9979985   37.75%             x11 D 185308 185307     64
Elapsed time = 2447.88 sec. (3211824.43 ticks, tree = 2533.27 MB, solutions = 5)
Nodefile size = 2405.74 MB (1933.93 MB after compression)
 185370 173246       45.4000   115       44.0000       60.6090  9983417   37.75%            x219 D 185370 185369     82
 185432 173300       55.2547   155       44.0000       60.6088  9987045   37.75%             x44 D 185432 185431     32
 185492 173356       54.8149   151       44.0000       60.6079  9989777   37.75%            x124 D 185492 185491     37
 185554 173414       55.2615   149       44.0000       60.6074  9992551   37.74%             x64 D 185554 185553     33
 185616 173470       53.3110   142       44.0000       60.6071  9995282   37.74%             x38 D 185616 185615     48
 185674 173524       53.4621   149       44.0000       60.6062  9997921   37.74%             x56 D 185674 185673     34
 185736 173582       53.0855   143       44.0000       60.6057 10000602   37.74%            x182 D 185736 185735     39
 185796 173638       51.7221   137       44.0000       60.6055 10003973   37.74%            x121 D 185796 185795     57
 185854 173692       52.6088   138       44.0000       60.6037 10006359   37.74%            x221 D 185854 185853     41
 185916 173750       51.0720   128       44.0000       60.6024 10008650   37.73%             x54 D 185916 185915     67
Elapsed time = 2470.57 sec. (3250354.41 ticks, tree = 2543.46 MB, solutions = 5)
Nodefile size = 2415.55 MB (1941.84 MB after compression)
 185976 173806       47.6615   121       44.0000       60.6020 10012089   37.73%              x3 D 185976 185975     64
 186034 173860       46.6905   113       44.0000       60.6012 10014562   37.73%            x225 D 186034 186033     76
 186096 173914       58.1238   168       44.0000       60.6000 10017265   37.73%            x227 U 186096  11379     16
 186158 173972       55.8350   157       44.0000       60.5989 10020268   37.72%            x210 D 186158 186157     29
 186218 174028       53.9925   145       44.0000       60.5987 10023428   37.72%            x227 D 186218 186217     41
 186280 174084       51.9733   137       44.0000       60.5985 10026340   37.72%             x36 D 186280 186279     63
 186338 174138       51.5000    98       44.0000       60.5975 10028572   37.72%             x32 D 186338 186337     60
 186397 174193       52.0078   137       44.0000       60.5974 10031581   37.72%             x54 D 186397 186396     53
 186456 174248       50.4516   132       44.0000       60.5970 10034136   37.72%            x177 D 186456 186455     71
 186516 174304       47.5000   107       44.0000       60.5970 10036562   37.72%            x101 D 186516 186515     64
Elapsed time = 2493.09 sec. (3288968.80 ticks, tree = 2552.70 MB, solutions = 5)
Nodefile size = 2425.44 MB (1949.76 MB after compression)
 186574 174358       46.4375   109       44.0000       60.5970 10039667   37.72%            x188 D 186574 186573     75
 186636 174412       56.5964   156       44.0000       60.5963 10042666   37.72%            x216 D 186636 186635     29
 186697 174469       56.4285   150       44.0000       60.5963 10045912   37.72%            x168 D 186697 186696     29
 186754 174522       56.0936   163       44.0000       60.5960 10047860   37.72%            x233 D 186754 186753     45
 186816 174580       55.7399   160       44.0000       60.5945 10050654   37.71%            x105 D 186816 186815     32
 186880 174640       53.7806   145       44.0000       60.5929 10054069   37.71%            x151 D 186880 186879     37
 186942 174698       52.4304   139       44.0000       60.5922 10056903   37.71%             x30 D 186942 186941     38
 187004 174756       51.0519   130       44.0000       60.5916 10059924   37.71%              x3 D 187004 187003     46
 187066 174814       48.2688   120       44.0000       60.5894 10062511   37.70%              x6 D 187066 187065     74
 187126 174870       49.1447   121       44.0000       60.5893 10065623   37.70%            x148 D 187126 187125     62
Elapsed time = 2515.89 sec. (3327606.90 ticks, tree = 2562.34 MB, solutions = 5)
Nodefile size = 2435.30 MB (1957.64 MB after compression)
 187186 174926       45.5000   111       44.0000       60.5889 10067935   37.70%            x175 D 187186 187185     68
 187248 174980       55.0708   153       44.0000       60.5888 10071555   37.70%            x210 D 187248 187247     24
 187306 175034       53.3196   140       44.0000       60.5886 10074340   37.70%            x234 D 187306 187305     36
 187366 175090       50.7762   131       44.0000       60.5880 10077342   37.70%            x119 D 187366 187365     48
 187428 175148       49.5000    99       44.0000       60.5874 10080064   37.70%             x38 D 187428 187427     66
 187488 175204       48.7143   117       44.0000       60.5862 10083002   37.70%            x205 D 187488 187487     59
 187548 175260       49.0000   118       44.0000       60.5854 10085628   37.69%            x165 D 187548 187547     62
 187610 175318       47.0000   105       44.0000       60.5837 10088348   37.69%            x108 D 187610 187609     69
 187672 175372       56.4940   147       44.0000       60.5817 10091573   37.69%            x127 D 187672 187671     23
 187734 175430       51.4167   134       44.0000       60.5814 10094115   37.69%              x4 D 187734 187733     59
Elapsed time = 2538.66 sec. (3366590.18 ticks, tree = 2571.36 MB, solutions = 5)
Nodefile size = 2444.20 MB (1964.67 MB after compression)
 187794 175486       51.0000    96       44.0000       60.5811 10096835   37.68%            x179 D 187794 187793     56
 187854 175542       50.3409   121       44.0000       60.5811 10099284   37.68%            x212 D 187854 187853     61
 187914 175598       48.4041   126       44.0000       60.5807 10102294   37.68%            x110 D 187914 187913     59
 187976 175652       56.3893   155       44.0000       60.5799 10105666   37.68%             x30 D 187976 187975     21
 188038 175710       55.3583   149       44.0000       60.5798 10108392   37.68%             x96 D 188038 188037     26
 188099 175767       54.8960   155       44.0000       60.5797 10111033   37.68%             x28 D 188099 188098     26
 188156 175820       54.9668   152       44.0000       60.5796 10113897   37.68%            x154 D 188156 188155     39
 188216 175876       54.2280   147       44.0000       60.5794 10116752   37.68%            x207 D 188216 188215     38
 188276 175932       53.8206   140       44.0000       60.5790 10119140   37.68%             x35 D 188276 188275     34
 188336 175988       51.7020   138       44.0000       60.5781 10122298   37.68%             x28 D 188336 188335     49
Elapsed time = 2561.30 sec. (3405284.59 ticks, tree = 2580.69 MB, solutions = 5)
Nodefile size = 2453.07 MB (1971.79 MB after compression)
 188400 176048       49.9103   133       44.0000       60.5779 10125148   37.68%            x154 D 188400 188399     75
 188460 176104       47.1667   100       44.0000       60.5770 10127664   37.67%              x5 D 188460 188459     55
 188518 176158       45.7500    85       44.0000       60.5767 10129886   37.67%             x91 D 188518 188517     61
 188580 176212       56.4016   159       44.0000       60.5761 10133261   37.67%             x16 D 188580 188579     29
 188640 176268       57.3600   163       44.0000       60.5751 10136130   37.67%              x1 D 188640 188639     32
 188700 176324       56.2742   152       44.0000       60.5750 10139313   37.67%             x92 D 188700 188699     31
 188762 176382       56.3893   151       44.0000       60.5746 10141787   37.67%            x151 D 188762 188761     41
 188822 176438       53.0319   140       44.0000       60.5746 10144482   37.67%            x191 D 188822 188821     43
 188883 176495       50.9722   131       44.0000       60.5734 10147592   37.67%            x181 D 188883 188882     57
 188942 176550       50.0000    95       44.0000       60.5725 10150738   37.66%            x160 D 188942 188941     65
Elapsed time = 2583.86 sec. (3443866.51 ticks, tree = 2589.47 MB, solutions = 5)
Nodefile size = 2461.51 MB (1978.37 MB after compression)
 189002 176606       47.6289   114       44.0000       60.5724 10153223   37.66%            x221 D 189002 189001     52
 189062 176662       46.7727   118       44.0000       60.5714 10156295   37.66%             x45 D 189062 189061     88
 189124 176716       57.0235   164       44.0000       60.5692 10159334   37.66%            x139 D 189124 189123     25
 189184 176772       54.8431   154       44.0000       60.5686 10162287   37.66%             x96 D 189184 189183     30
 189244 176828       54.6116   139       44.0000       60.5684 10165153   37.66%             x93 D 189244 189243     30
 189306 176886       52.9167   145       44.0000       60.5682 10167977   37.66%            x225 D 189306 189305     41
 189368 176944       51.5278   126       44.0000       60.5680 10170559   37.65%             x79 D 189368 189367     54
 189428 177000       48.3750   122       44.0000       60.5675 10173203   37.65%            x223 D 189428 189427     60
 189488 177056       47.8487   120       44.0000       60.5669 10176323   37.65%            x224 D 189488 189487     57
 189550 177114       46.4933   116       44.0000       60.5666 10179123   37.65%            x172 D 189550 189549     77
Elapsed time = 2606.51 sec. (3482534.86 ticks, tree = 2598.35 MB, solutions = 5)
Nodefile size = 2471.15 MB (1986.07 MB after compression)
 189614 177170       55.7189   159       44.0000       60.5651 10183121   37.65%            x128 D 189614 189613     35
 189674 177226       55.6705   149       44.0000       60.5650 10186153   37.65%            x187 D 189674 189673     24
 189734 177282       55.6420   154       44.0000       60.5644 10189065   37.65%            x220 D 189734 189733     44
 189798 177342       53.1084   143       44.0000       60.5641 10191937   37.65%             x70 D 189798 189797     42
 189857 177397       53.5129   145       44.0000       60.5638 10194549   37.64%             x11 D 189857 189856     35
 189918 177454       53.4363   144       44.0000       60.5636 10197245   37.64%            x162 D 189918 189917     62
 189977 177509       51.2743   136       44.0000       60.5630 10199939   37.64%            x109 D 189977 189976     58
 190036 177564       50.3736   130       44.0000       60.5617 10202959   37.64%             x27 D 190036 190035     54
 190100 177624       48.6883   130       44.0000       60.5612 10205614   37.64%             x15 D 190100 190099     82
 190160 177678       47.6313   120       44.0000       60.5606 10208821   37.64%             x54 D 190160 190159     75
Elapsed time = 2629.30 sec. (3521321.92 ticks, tree = 2608.00 MB, solutions = 5)
Nodefile size = 2480.05 MB (1993.18 MB after compression)
 190220 177734       45.8333   108       44.0000       60.5604 10211390   37.64%            x143 D 190220 190219     68
 190280 177790       45.0000   108       44.0000       60.5603 10214489   37.64%            x128 D 190280 190279     79
 190342 177844       55.9898   152       44.0000       60.5590 10217841   37.63%              x7 D 190342 190341     37
 190400 177898       55.2950   157       44.0000       60.5569 10220398   37.63%            x166 D 190400 190399     29
 190462 177956       53.0191   149       44.0000       60.5564 10224056   37.63%             x89 D 190462 190461     38
 190524 178014       51.7500   121       44.0000       60.5558 10226585   37.63%            x178 D 190524 190523     38
 190584 178070       50.0068   132       44.0000       60.5556 10229373   37.63%             x60 D 190584 190583     82
 190644 178126       49.0000    93       44.0000       60.5556 10232344   37.63%             x63 D 190644 190643     65
 190704 178182       47.6858   116       44.0000       60.5555 10234894   37.63%             x72 D 190704 190703     71
 190944 178402       55.8081   153       44.0000       60.5511 10246613   37.62%             x23 D 190944 190943     22
Elapsed time = 2658.86 sec. (3571521.19 ticks, tree = 2619.50 MB, solutions = 5)
Nodefile size = 2492.03 MB (2002.79 MB after compression)
 191184 178626       50.6691   124       44.0000       60.5501 10258227   37.61%            x195 D 191184 191183     46
 191426 178852       45.6250   110       44.0000       60.5490 10269534   37.61%            x217 D 191426 191425     81
 191664 179070       54.3635   145       44.0000       60.5472 10281796   37.61%            x247 D 191664 191663     37
 191902 179292       50.5870   119       44.0000       60.5456 10292132   37.60%            x215 D 191902 191901     60
 192144 179514       51.2939   136       44.0000       60.5413 10303132   37.59%            x179 D 192144 192143     53
 192382 179732       56.9761   162       44.0000       60.5399 10315291   37.59%             x35 D 192382 192381     17
 192624 179958       50.6864   134       44.0000       60.5380 10326042   37.59%             x99 D 192624 192623     54
 192864 180182       46.0000    85       44.0000       60.5363 10337051   37.58%             x96 D 192864 192863     70
 193108 180406       54.0450   146       44.0000       60.5337 10348909   37.58%            x120 D 193108 193107     50
 193345 180627       46.3353   115       44.0000       60.5318 10359784   37.57%             x32 D 193345 193344     71
Elapsed time = 2748.72 sec. (3724584.15 ticks, tree = 2657.15 MB, solutions = 5)
Nodefile size = 2529.55 MB (2032.92 MB after compression)
 193584 180846       54.4548   151       44.0000       60.5288 10371134   37.57%            x232 D 193584 193583     49
 193822 181066       47.0000    89       44.0000       60.5262 10381404   37.56%             x91 D 193822 193821     69
 194060 181284       56.5664   162       44.0000       60.5208 10392170   37.55%            x220 D 194060 194059     37
 194298 181502       51.2135   137       44.0000       60.5185 10404699   37.54%             x91 D 194298 194297     52
 194536 181724       47.7000   114       44.0000       60.5159 10415351   37.54%             x75 D 194536 194535     56
 194772 181940       54.6799   156       44.0000       60.5147 10426140   37.53%             x29 D 194772 194771     20
 195014 182166       50.0000    95       44.0000       60.5109 10437195   37.52%            x169 D 195014 195013     52
 195250 182386       46.7500   111       44.0000       60.5100 10449290   37.52%            x179 D 195250 195249     82
 195494 182610       54.0460   148       44.0000       60.5077 10461447   37.52%            x214 D 195494 195493     33
 195736 182832       57.1017   161       44.0000       60.5039 10472934   37.51%            x213 D 195736 195735     30
Elapsed time = 2838.20 sec. (3877695.57 ticks, tree = 2692.59 MB, solutions = 5)
Nodefile size = 2565.15 MB (2061.30 MB after compression)
 195969 183049       53.2939   148       44.0000       60.5024 10484801   37.51%             x87 D 195969 195968     36
 196212 183272       56.6476   160       44.0000       60.4996 10497017   37.50%            x134 D 196212 196211      6
 196456 183500       48.5369   125       44.0000       60.4981 10508371   37.50%            x131 D 196456 196455     59
 196691 183715       56.2274   156       44.0000       60.4940 10519236   37.49%             x43 U 196691  22081     33
 196932 183938       52.5766   139       44.0000       60.4923 10530209   37.48%            x159 D 196932 196931     57
 197168 184158       46.7857   109       44.0000       60.4906 10540151   37.48%            x172 D 197168 197167     91
 197408 184378       52.3604   143       44.0000       60.4891 10552763   37.48%            x119 D 197408 197407     45
 197646 184600       46.0354   118       44.0000       60.4874 10563933   37.47%             x20 D 197646 197645     75
 197880 184818       45.0000    85       44.0000       60.4852 10574866   37.47%             x25 D 197880 197879     72
 198118 185036       54.2630   151       44.0000       60.4836 10585757   37.46%             x13 D 198118 198117     29
Elapsed time = 2927.84 sec. (4030637.89 ticks, tree = 2729.49 MB, solutions = 5)
Nodefile size = 2601.83 MB (2090.69 MB after compression)
 198358 185260       55.7203   163       44.0000       60.4814 10597371   37.46%            x170 D 198358 198357     52
 198600 185486       45.4286   107       44.0000       60.4777 10609515   37.45%             x11 D 198600 198599     71
 198844 185710       52.6000   134       44.0000       60.4735 10621974   37.44%            x161 D 198844 198843     46
 199084 185934       48.2500    91       44.0000       60.4697 10632914   37.43%              x2 D 199084 199083     54
 199324 186154       55.7796   153       44.0000       60.4683 10644392   37.43%             x84 D 199324 199323     36
 199560 186374       55.3906   158       44.0000       60.4670 10655256   37.43%            x152 D 199560 199559     25
 199800 186596       50.0909   123       44.0000       60.4665 10666701   37.42%             x84 D 199800 199799     46
 200040 186816       55.5140   157       44.0000       60.4629 10679225   37.42%            x126 D 200040 200039     40
 200276 187036       49.4286   121       44.0000       60.4610 10691134   37.41%            x102 D 200276 200275     63
 200516 187256       57.3311   160       44.0000       60.4589 10702952   37.41%            x189 U 200516   6995     33
Elapsed time = 3017.85 sec. (4183907.62 ticks, tree = 2767.07 MB, solutions = 5)
Nodefile size = 2639.26 MB (2120.42 MB after compression)
 200754 187478       51.6537   132       44.0000       60.4579 10714937   37.40%            x225 D 200754 200753     40
 200990 187698       45.5192   107       44.0000       60.4527 10725543   37.39%             x31 D 200990 200989     71
 201236 187924       50.3854   122       44.0000       60.4501 10737377   37.39%             x57 D 201236 201235     48
 201470 188142       46.5526   116       44.0000       60.4490 10746910   37.38%             x45 D 201470 201469     77
 201712 188364       55.4549   149       44.0000       60.4458 10758748   37.38%             x11 D 201712 201711     36
 201950 188586       50.9537   126       44.0000       60.4435 10770932   37.37%             x74 D 201950 201949     53
 202188 188804       53.3733   145       44.0000       60.4418 10783476   37.37%            x234 D 202188 202187     43
 202430 189026       55.4638   153       44.0000       60.4393 10795203   37.36%            x200 D 202430 202429     22
 202668 189248       52.4575   146       44.0000       60.4362 10807534   37.35%            x207 D 202668 202667     51
 202908 189472       47.6934   119       44.0000       60.4349 10818295   37.35%            x154 D 202908 202907     72
Elapsed time = 3110.26 sec. (4337000.57 ticks, tree = 2806.13 MB, solutions = 5)
Nodefile size = 2678.35 MB (2151.99 MB after compression)
 203147 189691       55.7302   152       44.0000       60.4342 10829931   37.35%            x190 D 203147 203146     31
 203382 189908       56.4540   162       44.0000       60.4307 10840915   37.34%              x5 D 203382 203381     25
 203628 190138       52.0917   134       44.0000       60.4275 10852961   37.34%             x67 D 203628 203627     43
 203868 190362       46.0874   109       44.0000       60.4258 10864116   37.33%             x70 D 203868 203867     58
 204104 190578       53.7927   143       44.0000       60.4225 10876274   37.32%             x64 D 204104 204103     37
 204346 190804       46.3333   106       44.0000       60.4207 10888511   37.32%            x156 D 204346 204345     75
 204588 191026       52.6196   143       44.0000       60.4182 10900575   37.31%             x36 D 204588 204587     67
 204826 191248       47.2500    95       44.0000       60.4155 10911967   37.31%             x67 D 204826 204825     63

Clique cuts applied:  46
Implied bound cuts applied:  242
Zero-half cuts applied:  11

Root node processing (before b&c):
  Real time             =    3.82 sec. (3633.83 ticks)
Sequential b&c:
  Real time             = 3184.14 sec. (4462474.66 ticks)
                          ------------
Total (root+branch&cut) = 3187.96 sec. (4466108.50 ticks)
